その強張りは風邪だ
fact1: もし仮にあの百姓側は膨らみ部分であるならそれは排尿する fact2: 仮に「あの百姓側は無理無い」ということは真実であるとしたらそのバードは店舗内である fact3: 「「軍人らしくない」ということは成り立つ」物はある fact4: 軍人らしい物は風邪だ fact5: その強張りは所望する fact6: あの火口は打っ壊しないかあるいは無理無いかまたは両方ともである fact7: もし「あの百姓側は手荒い」ということは成り立つとするとそれは膨らみ部分である fact8: そのバードが店舗内であるとするとその強張りは所望するけど店舗内でない fact9: 「軍人らしい」ものはある fact10: もしもそのバードが店舗内だとしたらそれは薄い fact11: もし仮にそのバードが膨らみ部分だとしたらあの百姓側は店舗内である fact12: もし仮にそのバードが打っ壊さないとしたらあの百姓側は排尿しない fact13: 仮にその強張りが所望するけどそれは店舗内でないとすると風邪でない fact14: なにかは排尿しないなら「それは膨らみ部分だが手荒くない」ということは間違っている fact15: もしも軍人らしくない物があるとしたらあの百姓側は手荒い fact16: 仮にそのバードが店舗内だとしたらその強張りは所望する fact17: 仮に何らかのものが打っ壊すとすればそれは無理無い fact18: あの百姓側が排尿するとすれば打っ壊す
fact3 & fact15 -> int1: あの百姓側は手荒い; int1 & fact7 -> int2: あの百姓側は膨らみ部分だ; int2 & fact1 -> int3: あの百姓側は排尿する; int3 & fact18 -> int4: あの百姓側は打っ壊す; fact17 -> int5: もし仮にあの百姓側は打っ壊すとすれば「それは無理無い」ということは真実だ; int4 & int5 -> int6: あの百姓側は無理無い; int6 & fact2 -> int7: そのバードは店舗内である; int7 & fact8 -> int8: その強張りは所望するがしかし店舗内でない; int8 & fact13 -> hypothesis;
その強張りは風邪だ
fact19 -> int9: その強張りは軍人らしいとすると「「それは風邪であるということはない」ということは確かだ」ということは誤りだ; fact20 -> int10: あの百姓側は排尿しないとすると「それは膨らみ部分であるが手荒くない」ということは成り立たない; fact21 -> int11: 何らかのものは打っ壊しないかもしくは無理無いかまたは両方である;
$facts$ = fact1: もし仮にあの百姓側は膨らみ部分であるならそれは排尿する fact2: 仮に「あの百姓側は無理無い」ということは真実であるとしたらそのバードは店舗内である fact3: 「「軍人らしくない」ということは成り立つ」物はある fact4: 軍人らしい物は風邪だ fact5: その強張りは所望する fact6: あの火口は打っ壊しないかあるいは無理無いかまたは両方ともである fact7: もし「あの百姓側は手荒い」ということは成り立つとするとそれは膨らみ部分である fact8: そのバードが店舗内であるとするとその強張りは所望するけど店舗内でない fact9: 「軍人らしい」ものはある fact10: もしもそのバードが店舗内だとしたらそれは薄い fact11: もし仮にそのバードが膨らみ部分だとしたらあの百姓側は店舗内である fact12: もし仮にそのバードが打っ壊さないとしたらあの百姓側は排尿しない fact13: 仮にその強張りが所望するけどそれは店舗内でないとすると風邪でない fact14: なにかは排尿しないなら「それは膨らみ部分だが手荒くない」ということは間違っている fact15: もしも軍人らしくない物があるとしたらあの百姓側は手荒い fact16: 仮にそのバードが店舗内だとしたらその強張りは所望する fact17: 仮に何らかのものが打っ壊すとすればそれは無理無い fact18: あの百姓側が排尿するとすれば打っ壊す ; $hypothesis$ = その強張りは風邪だ ; $proof$ = 
fact3 & fact15 -> int1: あの百姓側は手荒い; int1 & fact7 -> int2: あの百姓側は膨らみ部分だ; int2 & fact1 -> int3: あの百姓側は排尿する; int3 & fact18 -> int4: あの百姓側は打っ壊す; fact17 -> int5: もし仮にあの百姓側は打っ壊すとすれば「それは無理無い」ということは真実だ; int4 & int5 -> int6: あの百姓側は無理無い; int6 & fact2 -> int7: そのバードは店舗内である; int7 & fact8 -> int8: その強張りは所望するがしかし店舗内でない; int8 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮にあの百姓側は膨らみ部分であるならそれは排尿する
事実2: 仮に「あの百姓側は無理無い」ということは真実であるとしたらそのバードは店舗内である
事実3: 「「軍人らしくない」ということは成り立つ」物はある
事実4: 軍人らしい物は風邪だ
事実5: その強張りは所望する
事実6: あの火口は打っ壊しないかあるいは無理無いかまたは両方ともである
事実7: もし「あの百姓側は手荒い」ということは成り立つとするとそれは膨らみ部分である
事実8: そのバードが店舗内であるとするとその強張りは所望するけど店舗内でない
事実9: 「軍人らしい」ものはある
事実10: もしもそのバードが店舗内だとしたらそれは薄い
事実11: もし仮にそのバードが膨らみ部分だとしたらあの百姓側は店舗内である
事実12: もし仮にそのバードが打っ壊さないとしたらあの百姓側は排尿しない
事実13: 仮にその強張りが所望するけどそれは店舗内でないとすると風邪でない
事実14: なにかは排尿しないなら「それは膨らみ部分だが手荒くない」ということは間違っている
事実15: もしも軍人らしくない物があるとしたらあの百姓側は手荒い
事実16: 仮にそのバードが店舗内だとしたらその強張りは所望する
事実17: 仮に何らかのものが打っ壊すとすればそれは無理無い
事実18: あの百姓側が排尿するとすれば打っ壊す

仮説: その強張りは風邪だ
1. 事実3と事実15から、推論1: "あの百姓側は手荒い"が導かれる
2. 推論1と事実7から、推論2: "あの百姓側は膨らみ部分だ"が導かれる
3. 推論2と事実1から、推論3: "あの百姓側は排尿する"が導かれる
4. 推論3と事実18から、推論4: "あの百姓側は打っ壊す"が導かれる
5. 事実17から、推論5: "もし仮にあの百姓側は打っ壊すとすれば「それは無理無い」ということは真実だ"が導かれる
6. 推論4と推論5から、推論6: "あの百姓側は無理無い"が導かれる
7. 推論6と事実2から、推論7: "そのバードは店舗内である"が導かれる
8. 推論7と事実8から、推論8: "その強張りは所望するがしかし店舗内でない"が導かれる
9. 推論8と事実13から、仮説が否定される

よって、仮説が否定されました。