その最後尾は考え深い
fact1: もしこの使途不明金は乏しくなくて軟化しないとしたら「この窮迫は乏しくない」ということは正しい fact2: 「もし仮にその最後尾が丸っこくないとするとその最後尾は乏しいかまたは春らしいということはないかもしくは両方ともだ」ということは本当である fact3: 「あの此の方は企む」ということは確かである fact4: 「その最後尾は乏しいかあるいは春らしいということはないかもしくは両方ともだ」ということは事実だとしたら考え深い fact5: 仮に「その最後尾は痛み易い」ということは本当であるなら三〜四分加熱する fact6: この使途不明金は乏しくなくて加えて軟化しない fact7: 「その最後尾は企む」ということは確かである fact8: この窮迫は乏しくないとしたら「その家庭運は丸っこくないししかも企まない」ということは間違っている fact9: その最後尾は痛み易くてかつ恙無い fact10: 「仮に丸っこい物は三〜四分加熱すれば「企まない」ということは成り立つ」ということは事実だ
fact9 -> int1: その最後尾は痛み易い; int1 & fact5 -> int2: その最後尾は三〜四分加熱する; void -> assump1: 以下のように仮定する。「その最後尾は丸っこい」ということは本当である; int2 & assump1 -> int3: その最後尾は丸っこいし三〜四分加熱する; fact10 -> int4: 仮にその最後尾が丸っこいしおまけにそれが三〜四分加熱するならそれは企まない; int3 & int4 -> int5: その最後尾は企まない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> int7: その最後尾は丸っこくない; int7 & fact2 -> int8: その最後尾は乏しいかもしくはそれは春らしくない; int8 & fact4 -> hypothesis;
その最後尾は考え深くない
fact11 & fact12 -> int9: この窮迫は乏しくない; fact13 & int9 -> int10: 「その家庭運は丸っこくないしそれは企まない」ということは成り立たない; int10 -> int11: 「「丸っこいということはなくて企まない」ということは成り立たない」ものはある;
$facts$ = fact1: もしこの使途不明金は乏しくなくて軟化しないとしたら「この窮迫は乏しくない」ということは正しい fact2: 「もし仮にその最後尾が丸っこくないとするとその最後尾は乏しいかまたは春らしいということはないかもしくは両方ともだ」ということは本当である fact3: 「あの此の方は企む」ということは確かである fact4: 「その最後尾は乏しいかあるいは春らしいということはないかもしくは両方ともだ」ということは事実だとしたら考え深い fact5: 仮に「その最後尾は痛み易い」ということは本当であるなら三〜四分加熱する fact6: この使途不明金は乏しくなくて加えて軟化しない fact7: 「その最後尾は企む」ということは確かである fact8: この窮迫は乏しくないとしたら「その家庭運は丸っこくないししかも企まない」ということは間違っている fact9: その最後尾は痛み易くてかつ恙無い fact10: 「仮に丸っこい物は三〜四分加熱すれば「企まない」ということは成り立つ」ということは事実だ ; $hypothesis$ = その最後尾は考え深い ; $proof$ = 
fact9 -> int1: その最後尾は痛み易い; int1 & fact5 -> int2: その最後尾は三〜四分加熱する; void -> assump1: 以下のように仮定する。「その最後尾は丸っこい」ということは本当である; int2 & assump1 -> int3: その最後尾は丸っこいし三〜四分加熱する; fact10 -> int4: 仮にその最後尾が丸っこいしおまけにそれが三〜四分加熱するならそれは企まない; int3 & int4 -> int5: その最後尾は企まない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> int7: その最後尾は丸っこくない; int7 & fact2 -> int8: その最後尾は乏しいかもしくはそれは春らしくない; int8 & fact4 -> hypothesis; __PROVED__
事実1: もしこの使途不明金は乏しくなくて軟化しないとしたら「この窮迫は乏しくない」ということは正しい
事実2: 「もし仮にその最後尾が丸っこくないとするとその最後尾は乏しいかまたは春らしいということはないかもしくは両方ともだ」ということは本当である
事実3: 「あの此の方は企む」ということは確かである
事実4: 「その最後尾は乏しいかあるいは春らしいということはないかもしくは両方ともだ」ということは事実だとしたら考え深い
事実5: 仮に「その最後尾は痛み易い」ということは本当であるなら三〜四分加熱する
事実6: この使途不明金は乏しくなくて加えて軟化しない
事実7: 「その最後尾は企む」ということは確かである
事実8: この窮迫は乏しくないとしたら「その家庭運は丸っこくないししかも企まない」ということは間違っている
事実9: その最後尾は痛み易くてかつ恙無い
事実10: 「仮に丸っこい物は三〜四分加熱すれば「企まない」ということは成り立つ」ということは事実だ

仮説: その最後尾は考え深い
1. 事実9から、推論1: "その最後尾は痛み易い"が導かれる
2. 推論1と事実5から、推論2: "その最後尾は三〜四分加熱する"が導かれる
3. 仮定1: 以下のように仮定する。「その最後尾は丸っこい」ということは本当である
4. 推論2と仮定1から、推論3: "その最後尾は丸っこいし三〜四分加熱する"が導かれる
5. 事実10から、推論4: "仮にその最後尾が丸っこいしおまけにそれが三〜四分加熱するならそれは企まない"が導かれる
6. 推論3と推論4から、推論5: "その最後尾は企まない"が導かれる
7. 推論5と事実7から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その最後尾は丸っこくない"が導かれる
9. 推論7と事実2から、推論8: "その最後尾は乏しいかもしくはそれは春らしくない"が導かれる
10. 推論8と事実4から、仮説が導かれる

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