あの支那学生は入手する
fact1: 仮にあの御加護が甲斐甲斐しくてそれはカレンシー・ボードなら「あの支那学生はカレンシー・ボードでない」ということは真実だ fact2: もしあの御加護がカレンシー・ボードであるしその上細かいとしたらあの支那学生は入手するということはない fact3: あの御加護はカレンシー・ボードだ fact4: 「この召し使い達は可笑し」ということは偽でない fact5: この学校間は塩辛いしかつ細かい fact6: もしも「なんらかの物は信じるしおまけに掻き易い」ということは成り立たないならそれは信じない fact7: もしもあの御加護がカレンシー・ボードだしそれに入手するとしたらあの支那学生は細かくない fact8: もし仮にその三年内連結事業年度が細かくないならあの御加護は甲斐甲斐しいしまたそれはカレンシー・ボードだ fact9: 「なにかは如才無くないがフリースローだ」ということは偽ならばそれは細かくない fact10: もし仮になんらかの物は飛行機隊であるということはないとすると「それは信じるしその上掻き易い」ということは成り立たない fact11: もしなにがしかの物はカレンシー・ボードでないとするとそれは入手する fact12: あの支那学生は細かい fact13: あの支那学生は依り頼まない fact14: 仮にこの召し使い達が可笑しならそれは飛行機隊であるということはないしそれは返りらしくない fact15: もし仮にこの召し使い達は信じるということはないとすれば「この入りは掃除し易くてリプレースする」ということは成り立つ fact16: あの御加護は細かい fact17: その陸軍兵器局は細かい
fact3 & fact16 -> int1: あの御加護はカレンシー・ボードで細かい; int1 & fact2 -> hypothesis;
あの支那学生は入手する
fact24 -> int2: もし仮にあの支那学生はカレンシー・ボードでないならそれは入手する; fact26 -> int3: もし仮に「その三年内連結事業年度は如才無くないけれどフリースローである」ということは嘘だとすればそれは細かいということはない; fact19 -> int4: もし仮に「この召し使い達は信じるしそれに掻き易い」ということは成り立たないとすれば信じない; fact21 -> int5: もし仮にこの召し使い達は飛行機隊でないとしたら「信じるしまた掻き易い」ということは事実と異なる; fact25 & fact22 -> int6: 「この召し使い達は飛行機隊でなくて返りらしくない」ということは確かである; int6 -> int7: この召し使い達は飛行機隊でない; int5 & int7 -> int8: 「この召し使い達は信じるしまた掻き易い」ということは誤りだ; int4 & int8 -> int9: 「この召し使い達は信じるということはない」ということは成り立つ; fact20 & int9 -> int10: この入りは掃除し易くてそれにリプレースする; int10 -> int11: この入りは掃除し易い; int11 -> int12: 「掃除し易い」ものはある;
$facts$ = fact1: 仮にあの御加護が甲斐甲斐しくてそれはカレンシー・ボードなら「あの支那学生はカレンシー・ボードでない」ということは真実だ fact2: もしあの御加護がカレンシー・ボードであるしその上細かいとしたらあの支那学生は入手するということはない fact3: あの御加護はカレンシー・ボードだ fact4: 「この召し使い達は可笑し」ということは偽でない fact5: この学校間は塩辛いしかつ細かい fact6: もしも「なんらかの物は信じるしおまけに掻き易い」ということは成り立たないならそれは信じない fact7: もしもあの御加護がカレンシー・ボードだしそれに入手するとしたらあの支那学生は細かくない fact8: もし仮にその三年内連結事業年度が細かくないならあの御加護は甲斐甲斐しいしまたそれはカレンシー・ボードだ fact9: 「なにかは如才無くないがフリースローだ」ということは偽ならばそれは細かくない fact10: もし仮になんらかの物は飛行機隊であるということはないとすると「それは信じるしその上掻き易い」ということは成り立たない fact11: もしなにがしかの物はカレンシー・ボードでないとするとそれは入手する fact12: あの支那学生は細かい fact13: あの支那学生は依り頼まない fact14: 仮にこの召し使い達が可笑しならそれは飛行機隊であるということはないしそれは返りらしくない fact15: もし仮にこの召し使い達は信じるということはないとすれば「この入りは掃除し易くてリプレースする」ということは成り立つ fact16: あの御加護は細かい fact17: その陸軍兵器局は細かい ; $hypothesis$ = あの支那学生は入手する ; $proof$ = 
fact3 & fact16 -> int1: あの御加護はカレンシー・ボードで細かい; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあの御加護が甲斐甲斐しくてそれはカレンシー・ボードなら「あの支那学生はカレンシー・ボードでない」ということは真実だ
事実2: もしあの御加護がカレンシー・ボードであるしその上細かいとしたらあの支那学生は入手するということはない
事実3: あの御加護はカレンシー・ボードだ
事実4: 「この召し使い達は可笑し」ということは偽でない
事実5: この学校間は塩辛いしかつ細かい
事実6: もしも「なんらかの物は信じるしおまけに掻き易い」ということは成り立たないならそれは信じない
事実7: もしもあの御加護がカレンシー・ボードだしそれに入手するとしたらあの支那学生は細かくない
事実8: もし仮にその三年内連結事業年度が細かくないならあの御加護は甲斐甲斐しいしまたそれはカレンシー・ボードだ
事実9: 「なにかは如才無くないがフリースローだ」ということは偽ならばそれは細かくない
事実10: もし仮になんらかの物は飛行機隊であるということはないとすると「それは信じるしその上掻き易い」ということは成り立たない
事実11: もしなにがしかの物はカレンシー・ボードでないとするとそれは入手する
事実12: あの支那学生は細かい
事実13: あの支那学生は依り頼まない
事実14: 仮にこの召し使い達が可笑しならそれは飛行機隊であるということはないしそれは返りらしくない
事実15: もし仮にこの召し使い達は信じるということはないとすれば「この入りは掃除し易くてリプレースする」ということは成り立つ
事実16: あの御加護は細かい
事実17: その陸軍兵器局は細かい

仮説: あの支那学生は入手する
1. 事実3と事実16から、推論1: "あの御加護はカレンシー・ボードで細かい"が導かれる
2. 推論1と事実2から、仮説が否定される

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