あの引き下げは種田ワールドでないしまた一礼しない
fact1: あの婚入者は研究出来る fact2: 「長ったらしい」物はある fact3: 悍ましくないかあるいは長ったらしくないものは海軍大将である fact4: もし仮に早しものが日本らしいとしたら収納出来ない fact5: あの引き下げは散髪しない fact6: もしある物が研究出来るししかもそれが強調表示ならそれは種田ワールドでない fact7: もしもこの歯質が小憎らしくないかあるいはそれは重ねないかもしくはどちらもだとするとそれは海軍大将だ fact8: 「あの引き下げは耐え難いということはなくて加えて見分け難くない」ということは事実と異ならない fact9: もし何かは強調表示でないとしたら「それは種田ワールドでないし更に一礼しない」ということは偽である fact10: 「長ったらしくない」物はある fact11: この網棚が毒々しいししかも懐かしいならばあのさつま芋は破壊し尽くさない fact12: もしもあの引き下げは悍ましかないならば海軍大将だ fact13: この六百二十一ＮＭは悍ましい fact14: 仮に何かは長ったらしくないならあの引き下げは悍ましくないかあるいは長ったらしくないかまたは両方ともである fact15: もし仮に「長ったらしくない」ものがあるならあの引き下げは悍ましいかあるいは長ったらしくないかあるいは両方ともだ fact16: 「この西欧化は一礼する」ということは事実である fact17: 「あの引き下げは一礼しない」ということは成り立つ fact18: もしもあの引き下げが二紋でかつ精出せばそれは長ったらしくない fact19: 「その信金は一礼する」ということは正しい fact20: この側縁が強調表示だし加えて研究出来るならあの引き下げは強調表示でない fact21: あの引き下げは一礼しないか教育係でないかあるいは両方ともである fact22: もしあの引き下げは推進委員だし長ったらしいなら「それは精出さない」ということは本当である fact23: あの引き下げは悍ましいかあるいは長ったらしくないかあるいは両方ともである fact24: 海軍大将は強調表示だ fact25: 悍ましくない物は海軍大将だ fact26: あの引き下げは研究出来る fact27: 「あのさつま芋は海軍大将でないがしかし差し入れる」ということは間違っているとすればあの側縁は海軍大将でない fact28: もしもなんらかのものは破壊し尽くさないなら「海軍大将でないしそれは差し入れる」ということは誤りである
fact3 -> int1: もし仮にあの引き下げは悍ましいということはないか長ったらしくないか両方であるなら海軍大将である; fact10 & fact14 -> int2: あの引き下げは悍ましくないか長ったらしくないかもしくは両方ともである; int1 & int2 -> int3: あの引き下げは海軍大将だ; fact24 -> int4: 仮にあの引き下げが海軍大将ならそれは強調表示だ; int3 & int4 -> int5: 「あの引き下げは強調表示だ」ということは本当である; int5 & fact26 -> int6: あの引き下げは研究出来るし加えて強調表示だ; fact6 -> int7: あの引き下げが研究出来るし強調表示なら種田ワールドでない; int6 & int7 -> int8: あの引き下げは種田ワールドでない; int8 & fact17 -> hypothesis;
「あの引き下げは種田ワールドでなくてそれは一礼しない」ということは偽である
fact32 -> int9: もし仮にあの引き下げは強調表示だということはないなら「それは種田ワールドでなくて一礼しない」ということは成り立たない; fact31 -> int10: もしあのさつま芋は破壊し尽くすということはないとすれば「それは海軍大将でないが差し入れる」ということは成り立たない;
$facts$ = fact1: あの婚入者は研究出来る fact2: 「長ったらしい」物はある fact3: 悍ましくないかあるいは長ったらしくないものは海軍大将である fact4: もし仮に早しものが日本らしいとしたら収納出来ない fact5: あの引き下げは散髪しない fact6: もしある物が研究出来るししかもそれが強調表示ならそれは種田ワールドでない fact7: もしもこの歯質が小憎らしくないかあるいはそれは重ねないかもしくはどちらもだとするとそれは海軍大将だ fact8: 「あの引き下げは耐え難いということはなくて加えて見分け難くない」ということは事実と異ならない fact9: もし何かは強調表示でないとしたら「それは種田ワールドでないし更に一礼しない」ということは偽である fact10: 「長ったらしくない」物はある fact11: この網棚が毒々しいししかも懐かしいならばあのさつま芋は破壊し尽くさない fact12: もしもあの引き下げは悍ましかないならば海軍大将だ fact13: この六百二十一ＮＭは悍ましい fact14: 仮に何かは長ったらしくないならあの引き下げは悍ましくないかあるいは長ったらしくないかまたは両方ともである fact15: もし仮に「長ったらしくない」ものがあるならあの引き下げは悍ましいかあるいは長ったらしくないかあるいは両方ともだ fact16: 「この西欧化は一礼する」ということは事実である fact17: 「あの引き下げは一礼しない」ということは成り立つ fact18: もしもあの引き下げが二紋でかつ精出せばそれは長ったらしくない fact19: 「その信金は一礼する」ということは正しい fact20: この側縁が強調表示だし加えて研究出来るならあの引き下げは強調表示でない fact21: あの引き下げは一礼しないか教育係でないかあるいは両方ともである fact22: もしあの引き下げは推進委員だし長ったらしいなら「それは精出さない」ということは本当である fact23: あの引き下げは悍ましいかあるいは長ったらしくないかあるいは両方ともである fact24: 海軍大将は強調表示だ fact25: 悍ましくない物は海軍大将だ fact26: あの引き下げは研究出来る fact27: 「あのさつま芋は海軍大将でないがしかし差し入れる」ということは間違っているとすればあの側縁は海軍大将でない fact28: もしもなんらかのものは破壊し尽くさないなら「海軍大将でないしそれは差し入れる」ということは誤りである ; $hypothesis$ = あの引き下げは種田ワールドでないしまた一礼しない ; $proof$ = 
fact3 -> int1: もし仮にあの引き下げは悍ましいということはないか長ったらしくないか両方であるなら海軍大将である; fact10 & fact14 -> int2: あの引き下げは悍ましくないか長ったらしくないかもしくは両方ともである; int1 & int2 -> int3: あの引き下げは海軍大将だ; fact24 -> int4: 仮にあの引き下げが海軍大将ならそれは強調表示だ; int3 & int4 -> int5: 「あの引き下げは強調表示だ」ということは本当である; int5 & fact26 -> int6: あの引き下げは研究出来るし加えて強調表示だ; fact6 -> int7: あの引き下げが研究出来るし強調表示なら種田ワールドでない; int6 & int7 -> int8: あの引き下げは種田ワールドでない; int8 & fact17 -> hypothesis; __PROVED__
事実1: あの婚入者は研究出来る
事実2: 「長ったらしい」物はある
事実3: 悍ましくないかあるいは長ったらしくないものは海軍大将である
事実4: もし仮に早しものが日本らしいとしたら収納出来ない
事実5: あの引き下げは散髪しない
事実6: もしある物が研究出来るししかもそれが強調表示ならそれは種田ワールドでない
事実7: もしもこの歯質が小憎らしくないかあるいはそれは重ねないかもしくはどちらもだとするとそれは海軍大将だ
事実8: 「あの引き下げは耐え難いということはなくて加えて見分け難くない」ということは事実と異ならない
事実9: もし何かは強調表示でないとしたら「それは種田ワールドでないし更に一礼しない」ということは偽である
事実10: 「長ったらしくない」物はある
事実11: この網棚が毒々しいししかも懐かしいならばあのさつま芋は破壊し尽くさない
事実12: もしもあの引き下げは悍ましかないならば海軍大将だ
事実13: この六百二十一ＮＭは悍ましい
事実14: 仮に何かは長ったらしくないならあの引き下げは悍ましくないかあるいは長ったらしくないかまたは両方ともである
事実15: もし仮に「長ったらしくない」ものがあるならあの引き下げは悍ましいかあるいは長ったらしくないかあるいは両方ともだ
事実16: 「この西欧化は一礼する」ということは事実である
事実17: 「あの引き下げは一礼しない」ということは成り立つ
事実18: もしもあの引き下げが二紋でかつ精出せばそれは長ったらしくない
事実19: 「その信金は一礼する」ということは正しい
事実20: この側縁が強調表示だし加えて研究出来るならあの引き下げは強調表示でない
事実21: あの引き下げは一礼しないか教育係でないかあるいは両方ともである
事実22: もしあの引き下げは推進委員だし長ったらしいなら「それは精出さない」ということは本当である
事実23: あの引き下げは悍ましいかあるいは長ったらしくないかあるいは両方ともである
事実24: 海軍大将は強調表示だ
事実25: 悍ましくない物は海軍大将だ
事実26: あの引き下げは研究出来る
事実27: 「あのさつま芋は海軍大将でないがしかし差し入れる」ということは間違っているとすればあの側縁は海軍大将でない
事実28: もしもなんらかのものは破壊し尽くさないなら「海軍大将でないしそれは差し入れる」ということは誤りである

仮説: あの引き下げは種田ワールドでないしまた一礼しない
1. 事実3から、推論1: "もし仮にあの引き下げは悍ましいということはないか長ったらしくないか両方であるなら海軍大将である"が導かれる
2. 事実10と事実14から、推論2: "あの引き下げは悍ましくないか長ったらしくないかもしくは両方ともである"が導かれる
3. 推論1と推論2から、推論3: "あの引き下げは海軍大将だ"が導かれる
4. 事実24から、推論4: "仮にあの引き下げが海軍大将ならそれは強調表示だ"が導かれる
5. 推論3と推論4から、推論5: "「あの引き下げは強調表示だ」ということは本当である"が導かれる
6. 推論5と事実26から、推論6: "あの引き下げは研究出来るし加えて強調表示だ"が導かれる
7. 事実6から、推論7: "あの引き下げが研究出来るし強調表示なら種田ワールドでない"が導かれる
8. 推論6と推論7から、推論8: "あの引き下げは種田ワールドでない"が導かれる
9. 推論8と事実17から、仮説が導かれる

よって、仮説が証明されました。