「間近い一方で辛抱強くない」ものはある
fact1: 「この中型船は米国経済でないけど当該審査である」ということは成り立つということはない fact2: もしもあるものは米国経済でないなら「気管支痙攣であるということはないがしかし再会出来る」ということは誤っている fact3: 「そのトレールは起算しないがそれは当該審査である」ということは事実と異なる fact4: その御為は辛抱強くない fact5: もし仮に「「そのトレールは米国経済でないけれど起算する」ということは成り立つ」ということは事実と異なるとしたらこの中型船は米国経済だ fact6: 「そのトレールは米国経済でないがしかし起算する」ということは誤りである fact7: 「「この中型船は生まれ難いしそれに真っ白い」ということは事実である」ということは確かでない fact8: 何かは間近くないとしたら「それは生まれ難くて当該審査だ」ということは事実と異なる fact9: もしある物は間近いということはないとしたら「それは生まれ難くないがしかし当該審査だ」ということは成り立つということはない fact10: 何らかのものは三週末であるし押さえ難い fact11: 「その御為は生まれ難くてかつ当該審査である」ということは事実と異なる fact12: 「「生まれ難くてまた当該審査である」ということは事実と異なる」ものはある fact13: 「「間近い」ということは成り立つ」ものはある fact14: もし仮に「「生まれ難くなくて当該審査である」ということは成り立たない」ものがあるならこの中型船は米国経済でない
fact9 -> int1: その御為は間近いということはないとしたら「生まれ難くないしまた当該審査である」ということは成り立たない; void -> assump1: 以下のように仮定する。その御為は間近いということはない; int1 & assump1 -> int2: 「その御為は生まれ難くないが当該審査である」ということは事実と異なる; int2 -> int3: 「「生まれ難いということはないしさらに当該審査だ」ということは成り立たない」ものはある; int3 & fact14 -> int4: この中型船は米国経済でない; fact5 & fact6 -> int5: この中型船は米国経済である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その御為は間近い; int7 & fact4 -> int8: 「その御為は間近いけど辛抱強くない」ということは確かだ; int8 -> hypothesis;
この予後不良は米国経済でないならば「それは気管支痙攣でないけど再会出来る」ということは成り立たない
fact15 -> hypothesis;
$facts$ = fact1: 「この中型船は米国経済でないけど当該審査である」ということは成り立つということはない fact2: もしもあるものは米国経済でないなら「気管支痙攣であるということはないがしかし再会出来る」ということは誤っている fact3: 「そのトレールは起算しないがそれは当該審査である」ということは事実と異なる fact4: その御為は辛抱強くない fact5: もし仮に「「そのトレールは米国経済でないけれど起算する」ということは成り立つ」ということは事実と異なるとしたらこの中型船は米国経済だ fact6: 「そのトレールは米国経済でないがしかし起算する」ということは誤りである fact7: 「「この中型船は生まれ難いしそれに真っ白い」ということは事実である」ということは確かでない fact8: 何かは間近くないとしたら「それは生まれ難くて当該審査だ」ということは事実と異なる fact9: もしある物は間近いということはないとしたら「それは生まれ難くないがしかし当該審査だ」ということは成り立つということはない fact10: 何らかのものは三週末であるし押さえ難い fact11: 「その御為は生まれ難くてかつ当該審査である」ということは事実と異なる fact12: 「「生まれ難くてまた当該審査である」ということは事実と異なる」ものはある fact13: 「「間近い」ということは成り立つ」ものはある fact14: もし仮に「「生まれ難くなくて当該審査である」ということは成り立たない」ものがあるならこの中型船は米国経済でない ; $hypothesis$ = 「間近い一方で辛抱強くない」ものはある ; $proof$ = 
fact9 -> int1: その御為は間近いということはないとしたら「生まれ難くないしまた当該審査である」ということは成り立たない; void -> assump1: 以下のように仮定する。その御為は間近いということはない; int1 & assump1 -> int2: 「その御為は生まれ難くないが当該審査である」ということは事実と異なる; int2 -> int3: 「「生まれ難いということはないしさらに当該審査だ」ということは成り立たない」ものはある; int3 & fact14 -> int4: この中型船は米国経済でない; fact5 & fact6 -> int5: この中型船は米国経済である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その御為は間近い; int7 & fact4 -> int8: 「その御為は間近いけど辛抱強くない」ということは確かだ; int8 -> hypothesis; __PROVED__
事実1: 「この中型船は米国経済でないけど当該審査である」ということは成り立つということはない
事実2: もしもあるものは米国経済でないなら「気管支痙攣であるということはないがしかし再会出来る」ということは誤っている
事実3: 「そのトレールは起算しないがそれは当該審査である」ということは事実と異なる
事実4: その御為は辛抱強くない
事実5: もし仮に「「そのトレールは米国経済でないけれど起算する」ということは成り立つ」ということは事実と異なるとしたらこの中型船は米国経済だ
事実6: 「そのトレールは米国経済でないがしかし起算する」ということは誤りである
事実7: 「「この中型船は生まれ難いしそれに真っ白い」ということは事実である」ということは確かでない
事実8: 何かは間近くないとしたら「それは生まれ難くて当該審査だ」ということは事実と異なる
事実9: もしある物は間近いということはないとしたら「それは生まれ難くないがしかし当該審査だ」ということは成り立つということはない
事実10: 何らかのものは三週末であるし押さえ難い
事実11: 「その御為は生まれ難くてかつ当該審査である」ということは事実と異なる
事実12: 「「生まれ難くてまた当該審査である」ということは事実と異なる」ものはある
事実13: 「「間近い」ということは成り立つ」ものはある
事実14: もし仮に「「生まれ難くなくて当該審査である」ということは成り立たない」ものがあるならこの中型船は米国経済でない

仮説: 「間近い一方で辛抱強くない」ものはある
1. 事実9から、推論1: "その御為は間近いということはないとしたら「生まれ難くないしまた当該審査である」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。その御為は間近いということはない
3. 推論1と仮定1から、推論2: "「その御為は生まれ難くないが当該審査である」ということは事実と異なる"が導かれる
4. 推論2から、推論3: "「「生まれ難いということはないしさらに当該審査だ」ということは成り立たない」ものはある"が導かれる
5. 推論3と事実14から、推論4: "この中型船は米国経済でない"が導かれる
6. 事実5と事実6から、推論5: "この中型船は米国経済である"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その御為は間近い"が導かれる
9. 推論7と事実4から、推論8: "「その御為は間近いけど辛抱強くない」ということは確かだ"が導かれる
10. 推論8から、仮説が導かれる

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