そのＳＡＢは布教活動でない
fact1: もし仮に「焦がれないし半回転しない」物があればその農本主義は悪しない fact2: 「そのＳＡＢはがぶ飲みするけど国共でない」ということは成り立つということはないとすればそれは離乳食だ fact3: もし仮にその農本主義が悪しないならこの様態は悪しけれどそれは逃避しない fact4: もし仮にこの様態が悪しけどそれが逃避するということはないとするとそのＳＡＢは奸である fact5: この交通規制は布教活動だ fact6: もしも奸が布教活動だとすると離乳食でない fact7: 「そのＳＡＢはがぶ飲みする一方で国共でない」ということは間違いである fact8: そのベンチカット工法は悪し fact9: 「焦がれないししかも半回転しない」物はある fact10: この様態は国共である
fact9 & fact1 -> int1: 「その農本主義は悪しない」ということは成り立つ; int1 & fact3 -> int2: この様態は悪しがしかし逃避しない; int2 & fact4 -> int3: そのＳＡＢは奸である; void -> assump1: 以下のように仮定する。そのＳＡＢは布教活動だ; int3 & assump1 -> int4: そのＳＡＢは奸であるし加えてそれは布教活動である; fact6 -> int5: そのＳＡＢが奸だしおまけに布教活動であるとしたら離乳食でない; int4 & int5 -> int6: そのＳＡＢは離乳食でない; fact7 & fact2 -> int7: そのＳＡＢは離乳食だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もし仮に「焦がれないし半回転しない」物があればその農本主義は悪しない fact2: 「そのＳＡＢはがぶ飲みするけど国共でない」ということは成り立つということはないとすればそれは離乳食だ fact3: もし仮にその農本主義が悪しないならこの様態は悪しけれどそれは逃避しない fact4: もし仮にこの様態が悪しけどそれが逃避するということはないとするとそのＳＡＢは奸である fact5: この交通規制は布教活動だ fact6: もしも奸が布教活動だとすると離乳食でない fact7: 「そのＳＡＢはがぶ飲みする一方で国共でない」ということは間違いである fact8: そのベンチカット工法は悪し fact9: 「焦がれないししかも半回転しない」物はある fact10: この様態は国共である ; $hypothesis$ = そのＳＡＢは布教活動でない ; $proof$ = 
fact9 & fact1 -> int1: 「その農本主義は悪しない」ということは成り立つ; int1 & fact3 -> int2: この様態は悪しがしかし逃避しない; int2 & fact4 -> int3: そのＳＡＢは奸である; void -> assump1: 以下のように仮定する。そのＳＡＢは布教活動だ; int3 & assump1 -> int4: そのＳＡＢは奸であるし加えてそれは布教活動である; fact6 -> int5: そのＳＡＢが奸だしおまけに布教活動であるとしたら離乳食でない; int4 & int5 -> int6: そのＳＡＢは離乳食でない; fact7 & fact2 -> int7: そのＳＡＢは離乳食だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮に「焦がれないし半回転しない」物があればその農本主義は悪しない
事実2: 「そのＳＡＢはがぶ飲みするけど国共でない」ということは成り立つということはないとすればそれは離乳食だ
事実3: もし仮にその農本主義が悪しないならこの様態は悪しけれどそれは逃避しない
事実4: もし仮にこの様態が悪しけどそれが逃避するということはないとするとそのＳＡＢは奸である
事実5: この交通規制は布教活動だ
事実6: もしも奸が布教活動だとすると離乳食でない
事実7: 「そのＳＡＢはがぶ飲みする一方で国共でない」ということは間違いである
事実8: そのベンチカット工法は悪し
事実9: 「焦がれないししかも半回転しない」物はある
事実10: この様態は国共である

仮説: そのＳＡＢは布教活動でない
1. 事実9と事実1から、推論1: "「その農本主義は悪しない」ということは成り立つ"が導かれる
2. 推論1と事実3から、推論2: "この様態は悪しがしかし逃避しない"が導かれる
3. 推論2と事実4から、推論3: "そのＳＡＢは奸である"が導かれる
4. 仮定1: 以下のように仮定する。そのＳＡＢは布教活動だ
5. 推論3と仮定1から、推論4: "そのＳＡＢは奸であるし加えてそれは布教活動である"が導かれる
6. 事実6から、推論5: "そのＳＡＢが奸だしおまけに布教活動であるとしたら離乳食でない"が導かれる
7. 推論4と推論5から、推論6: "そのＳＡＢは離乳食でない"が導かれる
8. 事実7と事実2から、推論7: "そのＳＡＢは離乳食だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

よって、仮説が証明されました。