あの低体重は巡業する
fact1: あの昨年末は西遊記であるがしかしそれは第二回国際極年であるということはない fact2: もし少なくない物が西遊記でないとしたらあの文禄元年は掲揚する fact3: 「あの肢体は長ったらしいしかつ各距離である」ということは成り立たない fact4: もしもあの低体重が注意深くないとすると巡業するということはない fact5: なんらかのものは巡業しない一方で少ない fact6: あの肢体は悶うない fact7: あの肢体は漁獲尾数である fact8: その人民大会議は西遊記でない fact9: 「あの文禄元年は西遊記であるしかつ掲揚する」ということは成り立たないとするとそれはおっかしくない fact10: その嫁っこは注意深い fact11: あの到達は第二回国際極年である fact12: もしあの文禄元年が掲揚するならその嫁っこはペイオフする fact13: あの文禄元年がペイオフするとするとその嫁っこは掲揚する fact14: あの文禄元年は第二回国際極年でない fact15: もし「あの肢体は長ったらしくてそれは各距離である」ということは嘘であるとしたら少なくない fact16: その嫁っこは悶うしおっかしい fact17: もしその嫁っこがペイオフするしおまけに悶うとすればあの低体重は注意深いということはない fact18: あの肢体は注意深くない fact19: その吊るし上げはおっかしいということはないし更に疾しない fact20: あの低体重はおっかしい fact21: 「その嫁っこはペイオフするしそれに少ない」ということは成り立つということはない fact22: もしあの昨年末は西遊記だ一方で第二回国際極年でないとしたら「あの肢体は西遊記でない」ということは事実である
fact15 & fact3 -> int1: あの肢体は少なくない; fact22 & fact1 -> int2: あの肢体は西遊記でない; int1 & int2 -> int3: あの肢体は少ないということはないし西遊記でない; int3 -> int4: 「少なくなくてその上西遊記でない」物はある; int4 & fact2 -> int5: あの文禄元年は掲揚する; int5 & fact12 -> int6: その嫁っこはペイオフする; fact16 -> int7: その嫁っこは悶う; int6 & int7 -> int8: その嫁っこはペイオフするししかもそれは悶う; int8 & fact17 -> int9: あの低体重は注意深くない; int9 & fact4 -> hypothesis;
$facts$ = fact1: あの昨年末は西遊記であるがしかしそれは第二回国際極年であるということはない fact2: もし少なくない物が西遊記でないとしたらあの文禄元年は掲揚する fact3: 「あの肢体は長ったらしいしかつ各距離である」ということは成り立たない fact4: もしもあの低体重が注意深くないとすると巡業するということはない fact5: なんらかのものは巡業しない一方で少ない fact6: あの肢体は悶うない fact7: あの肢体は漁獲尾数である fact8: その人民大会議は西遊記でない fact9: 「あの文禄元年は西遊記であるしかつ掲揚する」ということは成り立たないとするとそれはおっかしくない fact10: その嫁っこは注意深い fact11: あの到達は第二回国際極年である fact12: もしあの文禄元年が掲揚するならその嫁っこはペイオフする fact13: あの文禄元年がペイオフするとするとその嫁っこは掲揚する fact14: あの文禄元年は第二回国際極年でない fact15: もし「あの肢体は長ったらしくてそれは各距離である」ということは嘘であるとしたら少なくない fact16: その嫁っこは悶うしおっかしい fact17: もしその嫁っこがペイオフするしおまけに悶うとすればあの低体重は注意深いということはない fact18: あの肢体は注意深くない fact19: その吊るし上げはおっかしいということはないし更に疾しない fact20: あの低体重はおっかしい fact21: 「その嫁っこはペイオフするしそれに少ない」ということは成り立つということはない fact22: もしあの昨年末は西遊記だ一方で第二回国際極年でないとしたら「あの肢体は西遊記でない」ということは事実である ; $hypothesis$ = あの低体重は巡業する ; $proof$ = 
fact15 & fact3 -> int1: あの肢体は少なくない; fact22 & fact1 -> int2: あの肢体は西遊記でない; int1 & int2 -> int3: あの肢体は少ないということはないし西遊記でない; int3 -> int4: 「少なくなくてその上西遊記でない」物はある; int4 & fact2 -> int5: あの文禄元年は掲揚する; int5 & fact12 -> int6: その嫁っこはペイオフする; fact16 -> int7: その嫁っこは悶う; int6 & int7 -> int8: その嫁っこはペイオフするししかもそれは悶う; int8 & fact17 -> int9: あの低体重は注意深くない; int9 & fact4 -> hypothesis; __DISPROVED__
事実1: あの昨年末は西遊記であるがしかしそれは第二回国際極年であるということはない
事実2: もし少なくない物が西遊記でないとしたらあの文禄元年は掲揚する
事実3: 「あの肢体は長ったらしいしかつ各距離である」ということは成り立たない
事実4: もしもあの低体重が注意深くないとすると巡業するということはない
事実5: なんらかのものは巡業しない一方で少ない
事実6: あの肢体は悶うない
事実7: あの肢体は漁獲尾数である
事実8: その人民大会議は西遊記でない
事実9: 「あの文禄元年は西遊記であるしかつ掲揚する」ということは成り立たないとするとそれはおっかしくない
事実10: その嫁っこは注意深い
事実11: あの到達は第二回国際極年である
事実12: もしあの文禄元年が掲揚するならその嫁っこはペイオフする
事実13: あの文禄元年がペイオフするとするとその嫁っこは掲揚する
事実14: あの文禄元年は第二回国際極年でない
事実15: もし「あの肢体は長ったらしくてそれは各距離である」ということは嘘であるとしたら少なくない
事実16: その嫁っこは悶うしおっかしい
事実17: もしその嫁っこがペイオフするしおまけに悶うとすればあの低体重は注意深いということはない
事実18: あの肢体は注意深くない
事実19: その吊るし上げはおっかしいということはないし更に疾しない
事実20: あの低体重はおっかしい
事実21: 「その嫁っこはペイオフするしそれに少ない」ということは成り立つということはない
事実22: もしあの昨年末は西遊記だ一方で第二回国際極年でないとしたら「あの肢体は西遊記でない」ということは事実である

仮説: あの低体重は巡業する
1. 事実15と事実3から、推論1: "あの肢体は少なくない"が導かれる
2. 事実22と事実1から、推論2: "あの肢体は西遊記でない"が導かれる
3. 推論1と推論2から、推論3: "あの肢体は少ないということはないし西遊記でない"が導かれる
4. 推論3から、推論4: "「少なくなくてその上西遊記でない」物はある"が導かれる
5. 推論4と事実2から、推論5: "あの文禄元年は掲揚する"が導かれる
6. 推論5と事実12から、推論6: "その嫁っこはペイオフする"が導かれる
7. 事実16から、推論7: "その嫁っこは悶う"が導かれる
8. 推論6と推論7から、推論8: "その嫁っこはペイオフするししかもそれは悶う"が導かれる
9. 推論8と事実17から、推論9: "あの低体重は注意深くない"が導かれる
10. 推論9と事実4から、仮説が否定される

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