「冬場でない一方でかまける」物はある
fact1: この半ば済み等が救わないとするとこの事務所は走り出る fact2: もしも「その十四歳以上は近い」ということは偽であるならば冬場でないしおまけにそれは深入りする fact3: この事務所は走り出る fact4: その十四歳以上は深入りする fact5: 仮にその十四歳以上が近くないならば深入りする fact6: もしもなんらかのものは走り出ないなら「救うしそれにそれは配水塔でない」ということは嘘である fact7: その十四歳以上は警察手帳である fact8: この半ば済み等は退出する fact9: 「冬場だしその上かまける」ものはある fact10: この半ば済み等は輝かしい fact11: もし仮に「この事務所は配水塔であるかあるいは走り出るかあるいは両方ともである」ということは間違いだとすればその十四歳以上は若鳥だ fact12: 「あるものは冬場でない」ということは成り立つ fact13: その十四歳以上は近くないけど警察手帳である fact14: もし「この事務所は配水塔であるかまたは走り出ないかあるいは両方である」ということは成り立たないとしたらその十四歳以上は若鳥である fact15: あるものはかまける fact16: このＵＶ透過限界は深入りする fact17: 「仮に輝かしい物が退出するとするとそれは救わない」ということは真実である fact18: 仮にこの半ば済み等は救わないならば「この事務所は配水塔であるかまたはそれは走り出ない」ということは成り立つということはない fact19: 仮になんらかの物は若鳥であるならばそれはかまける
fact10 & fact8 -> int1: この半ば済み等は輝かしくておまけに退出する; fact17 -> int2: もし仮にこの半ば済み等が輝かしくておまけに退出するとすると救わない; int1 & int2 -> int3: この半ば済み等は救わない; int3 & fact18 -> int4: 「この事務所は配水塔であるかあるいは走り出ない」ということは間違っている; int4 & fact14 -> int5: その十四歳以上は若鳥だ; fact19 -> int6: その十四歳以上が若鳥だとするとそれはかまける; int5 & int6 -> int7: その十四歳以上はかまける; fact13 -> int8: その十四歳以上は近くない; fact2 & int8 -> int9: その十四歳以上は冬場でないけどそれは深入りする; int9 -> int10: その十四歳以上は冬場でない; int7 & int10 -> int11: その十四歳以上は冬場でないがかまける; int11 -> hypothesis;
あの花心は若鳥である
fact20 -> int12: もしもその十四歳以上は走り出ないとしたら「救うしそれにそれは配水塔でない」ということは事実と異なる;
$facts$ = fact1: この半ば済み等が救わないとするとこの事務所は走り出る fact2: もしも「その十四歳以上は近い」ということは偽であるならば冬場でないしおまけにそれは深入りする fact3: この事務所は走り出る fact4: その十四歳以上は深入りする fact5: 仮にその十四歳以上が近くないならば深入りする fact6: もしもなんらかのものは走り出ないなら「救うしそれにそれは配水塔でない」ということは嘘である fact7: その十四歳以上は警察手帳である fact8: この半ば済み等は退出する fact9: 「冬場だしその上かまける」ものはある fact10: この半ば済み等は輝かしい fact11: もし仮に「この事務所は配水塔であるかあるいは走り出るかあるいは両方ともである」ということは間違いだとすればその十四歳以上は若鳥だ fact12: 「あるものは冬場でない」ということは成り立つ fact13: その十四歳以上は近くないけど警察手帳である fact14: もし「この事務所は配水塔であるかまたは走り出ないかあるいは両方である」ということは成り立たないとしたらその十四歳以上は若鳥である fact15: あるものはかまける fact16: このＵＶ透過限界は深入りする fact17: 「仮に輝かしい物が退出するとするとそれは救わない」ということは真実である fact18: 仮にこの半ば済み等は救わないならば「この事務所は配水塔であるかまたはそれは走り出ない」ということは成り立つということはない fact19: 仮になんらかの物は若鳥であるならばそれはかまける ; $hypothesis$ = 「冬場でない一方でかまける」物はある ; $proof$ = 
fact10 & fact8 -> int1: この半ば済み等は輝かしくておまけに退出する; fact17 -> int2: もし仮にこの半ば済み等が輝かしくておまけに退出するとすると救わない; int1 & int2 -> int3: この半ば済み等は救わない; int3 & fact18 -> int4: 「この事務所は配水塔であるかあるいは走り出ない」ということは間違っている; int4 & fact14 -> int5: その十四歳以上は若鳥だ; fact19 -> int6: その十四歳以上が若鳥だとするとそれはかまける; int5 & int6 -> int7: その十四歳以上はかまける; fact13 -> int8: その十四歳以上は近くない; fact2 & int8 -> int9: その十四歳以上は冬場でないけどそれは深入りする; int9 -> int10: その十四歳以上は冬場でない; int7 & int10 -> int11: その十四歳以上は冬場でないがかまける; int11 -> hypothesis; __PROVED__
事実1: この半ば済み等が救わないとするとこの事務所は走り出る
事実2: もしも「その十四歳以上は近い」ということは偽であるならば冬場でないしおまけにそれは深入りする
事実3: この事務所は走り出る
事実4: その十四歳以上は深入りする
事実5: 仮にその十四歳以上が近くないならば深入りする
事実6: もしもなんらかのものは走り出ないなら「救うしそれにそれは配水塔でない」ということは嘘である
事実7: その十四歳以上は警察手帳である
事実8: この半ば済み等は退出する
事実9: 「冬場だしその上かまける」ものはある
事実10: この半ば済み等は輝かしい
事実11: もし仮に「この事務所は配水塔であるかあるいは走り出るかあるいは両方ともである」ということは間違いだとすればその十四歳以上は若鳥だ
事実12: 「あるものは冬場でない」ということは成り立つ
事実13: その十四歳以上は近くないけど警察手帳である
事実14: もし「この事務所は配水塔であるかまたは走り出ないかあるいは両方である」ということは成り立たないとしたらその十四歳以上は若鳥である
事実15: あるものはかまける
事実16: このＵＶ透過限界は深入りする
事実17: 「仮に輝かしい物が退出するとするとそれは救わない」ということは真実である
事実18: 仮にこの半ば済み等は救わないならば「この事務所は配水塔であるかまたはそれは走り出ない」ということは成り立つということはない
事実19: 仮になんらかの物は若鳥であるならばそれはかまける

仮説: 「冬場でない一方でかまける」物はある
1. 事実10と事実8から、推論1: "この半ば済み等は輝かしくておまけに退出する"が導かれる
2. 事実17から、推論2: "もし仮にこの半ば済み等が輝かしくておまけに退出するとすると救わない"が導かれる
3. 推論1と推論2から、推論3: "この半ば済み等は救わない"が導かれる
4. 推論3と事実18から、推論4: "「この事務所は配水塔であるかあるいは走り出ない」ということは間違っている"が導かれる
5. 推論4と事実14から、推論5: "その十四歳以上は若鳥だ"が導かれる
6. 事実19から、推論6: "その十四歳以上が若鳥だとするとそれはかまける"が導かれる
7. 推論5と推論6から、推論7: "その十四歳以上はかまける"が導かれる
8. 事実13から、推論8: "その十四歳以上は近くない"が導かれる
9. 事実2と推論8から、推論9: "その十四歳以上は冬場でないけどそれは深入りする"が導かれる
10. 推論9から、推論10: "その十四歳以上は冬場でない"が導かれる
11. 推論7と推論10から、推論11: "その十四歳以上は冬場でないがかまける"が導かれる
12. 推論11から、仮説が導かれる

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