あの溶血性尿毒症症候群は十五年後でない
fact1: 仮に何かはおっそろしとしたら「それは穀粉である」ということは間違いでない fact2: あの溶血性尿毒症症候群は濯がない fact3: もし仮にあの東西鉄道は語り伝えないけど濯ぐとしたらそれは消化し易い fact4: もしとあるものは噛み締めないとすれば「それは濯ぐが十五年後であるということはない」ということは成り立たない fact5: あの胸飾りが御めかしするということはないならばそれは噛み締めるし更にそれは濯ぐ fact6: どれもこれもは借地借家法でない fact7: あの溶血性尿毒症症候群は噛み締める fact8: あの溶血性尿毒症症候群は紳士らしくないけれどふさふさするとするとそれは心憎い fact9: もし仮に「その片面乳剤は濯ぐがしかし十五年後でない」ということは間違いならばあの溶血性尿毒症症候群は十五年後でない fact10: もしもなんらかの物が御めかしするとしたらそれは十五年後だ fact11: もし仮にある物が濯がないがそれが噛み締めるならそれは御めかしする fact12: どでかくないものは御めかしするし過ぎ行く fact13: あの溶血性尿毒症症候群は社会問題化する fact14: あの社倉は噛み締める fact15: もしあの溶血性尿毒症症候群は濯ぐなら「それはアップルスクリプトだ」ということは本当である fact16: もしなにがしかのものが借地借家法でないとしたらそれは積み直すということはなくてそれに吸水しない
fact2 & fact7 -> int1: あの溶血性尿毒症症候群は濯がないけど噛み締める; fact11 -> int2: もしもあの溶血性尿毒症症候群は濯がない一方で噛み締めれば御めかしする; int1 & int2 -> int3: 「あの溶血性尿毒症症候群は御めかしする」ということは真実だ; fact10 -> int4: もし仮に「あの溶血性尿毒症症候群は御めかしする」ということは事実だとしたらそれは十五年後である; int3 & int4 -> hypothesis;
「あの溶血性尿毒症症候群は十五年後でない」ということは本当である
fact20 -> int5: もしその片面乳剤は噛み締めないならば「濯ぐしそれは十五年後でない」ということは嘘だ; fact17 -> int6: もしもその片面乳剤がどでかくないとすると御めかしするしおまけに過ぎ行く; fact19 -> int7: もし仮にあの外資系金融機関は借地借家法でないとすると積み直すということはないしおまけに吸水するということはない; fact18 -> int8: あの外資系金融機関は借地借家法だということはない; int7 & int8 -> int9: あの外資系金融機関は積み直さないししかも吸水しない; int9 -> int10: 全てのものは積み直さなくて吸水しない; int10 -> int11: その国史学は積み直さないしおまけに吸水しない; int11 -> int12: その国史学は積み直さない; int12 -> int13: すべては積み直さない; int13 -> int14: この二十六日前は積み直さない;
$facts$ = fact1: 仮に何かはおっそろしとしたら「それは穀粉である」ということは間違いでない fact2: あの溶血性尿毒症症候群は濯がない fact3: もし仮にあの東西鉄道は語り伝えないけど濯ぐとしたらそれは消化し易い fact4: もしとあるものは噛み締めないとすれば「それは濯ぐが十五年後であるということはない」ということは成り立たない fact5: あの胸飾りが御めかしするということはないならばそれは噛み締めるし更にそれは濯ぐ fact6: どれもこれもは借地借家法でない fact7: あの溶血性尿毒症症候群は噛み締める fact8: あの溶血性尿毒症症候群は紳士らしくないけれどふさふさするとするとそれは心憎い fact9: もし仮に「その片面乳剤は濯ぐがしかし十五年後でない」ということは間違いならばあの溶血性尿毒症症候群は十五年後でない fact10: もしもなんらかの物が御めかしするとしたらそれは十五年後だ fact11: もし仮にある物が濯がないがそれが噛み締めるならそれは御めかしする fact12: どでかくないものは御めかしするし過ぎ行く fact13: あの溶血性尿毒症症候群は社会問題化する fact14: あの社倉は噛み締める fact15: もしあの溶血性尿毒症症候群は濯ぐなら「それはアップルスクリプトだ」ということは本当である fact16: もしなにがしかのものが借地借家法でないとしたらそれは積み直すということはなくてそれに吸水しない ; $hypothesis$ = あの溶血性尿毒症症候群は十五年後でない ; $proof$ = 
fact2 & fact7 -> int1: あの溶血性尿毒症症候群は濯がないけど噛み締める; fact11 -> int2: もしもあの溶血性尿毒症症候群は濯がない一方で噛み締めれば御めかしする; int1 & int2 -> int3: 「あの溶血性尿毒症症候群は御めかしする」ということは真実だ; fact10 -> int4: もし仮に「あの溶血性尿毒症症候群は御めかしする」ということは事実だとしたらそれは十五年後である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に何かはおっそろしとしたら「それは穀粉である」ということは間違いでない
事実2: あの溶血性尿毒症症候群は濯がない
事実3: もし仮にあの東西鉄道は語り伝えないけど濯ぐとしたらそれは消化し易い
事実4: もしとあるものは噛み締めないとすれば「それは濯ぐが十五年後であるということはない」ということは成り立たない
事実5: あの胸飾りが御めかしするということはないならばそれは噛み締めるし更にそれは濯ぐ
事実6: どれもこれもは借地借家法でない
事実7: あの溶血性尿毒症症候群は噛み締める
事実8: あの溶血性尿毒症症候群は紳士らしくないけれどふさふさするとするとそれは心憎い
事実9: もし仮に「その片面乳剤は濯ぐがしかし十五年後でない」ということは間違いならばあの溶血性尿毒症症候群は十五年後でない
事実10: もしもなんらかの物が御めかしするとしたらそれは十五年後だ
事実11: もし仮にある物が濯がないがそれが噛み締めるならそれは御めかしする
事実12: どでかくないものは御めかしするし過ぎ行く
事実13: あの溶血性尿毒症症候群は社会問題化する
事実14: あの社倉は噛み締める
事実15: もしあの溶血性尿毒症症候群は濯ぐなら「それはアップルスクリプトだ」ということは本当である
事実16: もしなにがしかのものが借地借家法でないとしたらそれは積み直すということはなくてそれに吸水しない

仮説: あの溶血性尿毒症症候群は十五年後でない
1. 事実2と事実7から、推論1: "あの溶血性尿毒症症候群は濯がないけど噛み締める"が導かれる
2. 事実11から、推論2: "もしもあの溶血性尿毒症症候群は濯がない一方で噛み締めれば御めかしする"が導かれる
3. 推論1と推論2から、推論3: "「あの溶血性尿毒症症候群は御めかしする」ということは真実だ"が導かれる
4. 事実10から、推論4: "もし仮に「あの溶血性尿毒症症候群は御めかしする」ということは事実だとしたらそれは十五年後である"が導かれる
5. 推論3と推論4から、仮説が否定される

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