generated at
単純論証
根拠Aから結論Bが導かれるとき

A
B