その児童文化は子供らしい
fact1: この良妻は外張り断熱である fact2: 仮にこの良妻が足部でないとすればあの中門は白羽だがそれは上り続けない fact3: その中門は外張り断熱でないがしかしおっかしい fact4: その牆壁瓦礫は手慣れる fact5: その中門は手慣れるがしかしおっかしくないとしたらそれは白羽でない fact6: もし仮にその児童文化が知り合いらしくないならおっかしいということはないし更にそれは手慣れる fact7: この良妻がおっかしいしそれに知り合いらしいとしたらその児童文化は子供らしいということはない fact8: もし仮にとあるものが足部でなくて上り続けないとすると子供らしい fact9: この良妻は戦闘諜報班である fact10: その中門は来難くないしまた外張り断熱であるということはない fact11: この良妻は手慣れる fact12: もし仮にその中門が白羽であるがそれが上り続けないとしたらあの本庁は白羽でない fact13: もしもこの良妻が手慣れれば足部だ fact14: もし「この良妻は戦闘諜報班である」ということは正しいならば「知り合いらしくない」ということは成り立たない fact15: もしもその中門が足部であるかあるいは上り続けるかもしくは両方ともであるとするとこの良妻は白羽でない fact16: その児童文化は手慣れる fact17: その児童文化は外張り断熱である fact18: 仮にその中門は来難くないしかつ外張り断熱でないとするとそれは足部である fact19: この良妻は来難くないし生み易くない fact20: 仮にこの良妻は白羽でないがしかし手慣れるとするとそれはおっかしい
fact18 & fact10 -> int1: その中門は足部だ; int1 -> int2: その中門は足部であるかそれは上り続けるかもしくは両方だ; int2 & fact15 -> int3: この良妻は白羽であるということはない; int3 & fact11 -> int4: この良妻は白羽でないけれど手慣れる; int4 & fact20 -> int5: この良妻はおっかしい; fact9 & fact14 -> int6: この良妻は知り合いらしい; int5 & int6 -> int7: この良妻はおっかしいし更に知り合いらしい; int7 & fact7 -> hypothesis;
その児童文化は子供らしい
fact21 -> int8: もしその児童文化が足部でないしまた上り続けないならそれは子供らしい;
$facts$ = fact1: この良妻は外張り断熱である fact2: 仮にこの良妻が足部でないとすればあの中門は白羽だがそれは上り続けない fact3: その中門は外張り断熱でないがしかしおっかしい fact4: その牆壁瓦礫は手慣れる fact5: その中門は手慣れるがしかしおっかしくないとしたらそれは白羽でない fact6: もし仮にその児童文化が知り合いらしくないならおっかしいということはないし更にそれは手慣れる fact7: この良妻がおっかしいしそれに知り合いらしいとしたらその児童文化は子供らしいということはない fact8: もし仮にとあるものが足部でなくて上り続けないとすると子供らしい fact9: この良妻は戦闘諜報班である fact10: その中門は来難くないしまた外張り断熱であるということはない fact11: この良妻は手慣れる fact12: もし仮にその中門が白羽であるがそれが上り続けないとしたらあの本庁は白羽でない fact13: もしもこの良妻が手慣れれば足部だ fact14: もし「この良妻は戦闘諜報班である」ということは正しいならば「知り合いらしくない」ということは成り立たない fact15: もしもその中門が足部であるかあるいは上り続けるかもしくは両方ともであるとするとこの良妻は白羽でない fact16: その児童文化は手慣れる fact17: その児童文化は外張り断熱である fact18: 仮にその中門は来難くないしかつ外張り断熱でないとするとそれは足部である fact19: この良妻は来難くないし生み易くない fact20: 仮にこの良妻は白羽でないがしかし手慣れるとするとそれはおっかしい ; $hypothesis$ = その児童文化は子供らしい ; $proof$ = 
fact18 & fact10 -> int1: その中門は足部だ; int1 -> int2: その中門は足部であるかそれは上り続けるかもしくは両方だ; int2 & fact15 -> int3: この良妻は白羽であるということはない; int3 & fact11 -> int4: この良妻は白羽でないけれど手慣れる; int4 & fact20 -> int5: この良妻はおっかしい; fact9 & fact14 -> int6: この良妻は知り合いらしい; int5 & int6 -> int7: この良妻はおっかしいし更に知り合いらしい; int7 & fact7 -> hypothesis; __DISPROVED__
事実1: この良妻は外張り断熱である
事実2: 仮にこの良妻が足部でないとすればあの中門は白羽だがそれは上り続けない
事実3: その中門は外張り断熱でないがしかしおっかしい
事実4: その牆壁瓦礫は手慣れる
事実5: その中門は手慣れるがしかしおっかしくないとしたらそれは白羽でない
事実6: もし仮にその児童文化が知り合いらしくないならおっかしいということはないし更にそれは手慣れる
事実7: この良妻がおっかしいしそれに知り合いらしいとしたらその児童文化は子供らしいということはない
事実8: もし仮にとあるものが足部でなくて上り続けないとすると子供らしい
事実9: この良妻は戦闘諜報班である
事実10: その中門は来難くないしまた外張り断熱であるということはない
事実11: この良妻は手慣れる
事実12: もし仮にその中門が白羽であるがそれが上り続けないとしたらあの本庁は白羽でない
事実13: もしもこの良妻が手慣れれば足部だ
事実14: もし「この良妻は戦闘諜報班である」ということは正しいならば「知り合いらしくない」ということは成り立たない
事実15: もしもその中門が足部であるかあるいは上り続けるかもしくは両方ともであるとするとこの良妻は白羽でない
事実16: その児童文化は手慣れる
事実17: その児童文化は外張り断熱である
事実18: 仮にその中門は来難くないしかつ外張り断熱でないとするとそれは足部である
事実19: この良妻は来難くないし生み易くない
事実20: 仮にこの良妻は白羽でないがしかし手慣れるとするとそれはおっかしい

仮説: その児童文化は子供らしい
1. 事実18と事実10から、推論1: "その中門は足部だ"が導かれる
2. 推論1から、推論2: "その中門は足部であるかそれは上り続けるかもしくは両方だ"が導かれる
3. 推論2と事実15から、推論3: "この良妻は白羽であるということはない"が導かれる
4. 推論3と事実11から、推論4: "この良妻は白羽でないけれど手慣れる"が導かれる
5. 推論4と事実20から、推論5: "この良妻はおっかしい"が導かれる
6. 事実9と事実14から、推論6: "この良妻は知り合いらしい"が導かれる
7. 推論5と推論6から、推論7: "この良妻はおっかしいし更に知り合いらしい"が導かれる
8. 推論7と事実7から、仮説が否定される

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