「もしもこのインターネット通販が飛行機らしいしさらに寄せ付ければそのネッティングは汚れ難くない」ということは成り立つ
fact1: 仮に「そのネッティングは飲食しないがそれは再確認出来る」ということは成り立たないとすると汚れ難い fact2: もしも「そのネッティングは飲食しないが再確認出来る」ということは成り立たないとすればそれは汚れ難くない fact3: このインターネット通販は再確認出来るということはないとすれば「そのネッティングは飲食するしおまけに再確認出来る」ということは成り立たない fact4: このインターネット通販が飛行機らしいし寄せ付けるならばあのネッティングは汚れ難い fact5: そのネッティングは汚れ難い fact6: もし仮になにかは叩き上げるということはないとすると「念押しするかまたは再確認出来るかもしくは両方ともである」ということは間違っている fact7: もし仮に何かは飲食しないとすると「それは汚れ難くないしその上それは無声化し易い」ということは誤っている fact8: 飛行機らしい物が寄せ付けるとすると再確認出来ない fact9: 「そのネッティングは飲食する」ということは確かだとするとそれは汚れ難くない fact10: 「そのネッティングは飲食するし再確認出来る」ということは成り立たない fact11: そのチームカラーは飲食しない fact12: 仮にこの講演者は販売予測でないとすれば「それがクライマックスだしそれはざけるない」ということは間違いだ fact13: この講演者は販売予測でない fact14: このインターネット通販は再確認出来ないとすると「そのネッティングは飲食しないがしかし再確認出来る」ということは成り立たない fact15: このインターネット通販は飛行機らしい
fact8 -> int1: このインターネット通販が飛行機らしいしそれが寄せ付けるとするとそれは再確認出来ない; void -> assump1: 以下のように仮定する。このインターネット通販は飛行機らしいしそれに寄せ付ける; int1 & assump1 -> int2: このインターネット通販は再確認出来るということはない; int2 & fact14 -> int3: 「そのネッティングは飲食しないがしかし再確認出来る」ということは本当でない; int3 & fact2 -> int4: そのネッティングは汚れ難くない; [assump1] & int4 -> hypothesis;
「このインターネット通販は汚れ難くないけれど無声化し易い」ということは成り立たない
fact19 -> int5: もしもこのインターネット通販は飲食しないとすれば「それは汚れ難くない一方で無声化し易い」ということは成り立たない; fact16 -> int6: もしもそのネッティングは叩き上げないとすれば「それは念押しするかあるいは再確認出来るかあるいは両方ともである」ということは嘘である; fact18 & fact17 -> int7: 「この講演者はクライマックスであるがざけるない」ということは事実でない; int7 -> int8: 「「クライマックスである一方でざけるない」ということは事実でない」物はある;
$facts$ = fact1: 仮に「そのネッティングは飲食しないがそれは再確認出来る」ということは成り立たないとすると汚れ難い fact2: もしも「そのネッティングは飲食しないが再確認出来る」ということは成り立たないとすればそれは汚れ難くない fact3: このインターネット通販は再確認出来るということはないとすれば「そのネッティングは飲食するしおまけに再確認出来る」ということは成り立たない fact4: このインターネット通販が飛行機らしいし寄せ付けるならばあのネッティングは汚れ難い fact5: そのネッティングは汚れ難い fact6: もし仮になにかは叩き上げるということはないとすると「念押しするかまたは再確認出来るかもしくは両方ともである」ということは間違っている fact7: もし仮に何かは飲食しないとすると「それは汚れ難くないしその上それは無声化し易い」ということは誤っている fact8: 飛行機らしい物が寄せ付けるとすると再確認出来ない fact9: 「そのネッティングは飲食する」ということは確かだとするとそれは汚れ難くない fact10: 「そのネッティングは飲食するし再確認出来る」ということは成り立たない fact11: そのチームカラーは飲食しない fact12: 仮にこの講演者は販売予測でないとすれば「それがクライマックスだしそれはざけるない」ということは間違いだ fact13: この講演者は販売予測でない fact14: このインターネット通販は再確認出来ないとすると「そのネッティングは飲食しないがしかし再確認出来る」ということは成り立たない fact15: このインターネット通販は飛行機らしい ; $hypothesis$ = 「もしもこのインターネット通販が飛行機らしいしさらに寄せ付ければそのネッティングは汚れ難くない」ということは成り立つ ; $proof$ = 
fact8 -> int1: このインターネット通販が飛行機らしいしそれが寄せ付けるとするとそれは再確認出来ない; void -> assump1: 以下のように仮定する。このインターネット通販は飛行機らしいしそれに寄せ付ける; int1 & assump1 -> int2: このインターネット通販は再確認出来るということはない; int2 & fact14 -> int3: 「そのネッティングは飲食しないがしかし再確認出来る」ということは本当でない; int3 & fact2 -> int4: そのネッティングは汚れ難くない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 仮に「そのネッティングは飲食しないがそれは再確認出来る」ということは成り立たないとすると汚れ難い
事実2: もしも「そのネッティングは飲食しないが再確認出来る」ということは成り立たないとすればそれは汚れ難くない
事実3: このインターネット通販は再確認出来るということはないとすれば「そのネッティングは飲食するしおまけに再確認出来る」ということは成り立たない
事実4: このインターネット通販が飛行機らしいし寄せ付けるならばあのネッティングは汚れ難い
事実5: そのネッティングは汚れ難い
事実6: もし仮になにかは叩き上げるということはないとすると「念押しするかまたは再確認出来るかもしくは両方ともである」ということは間違っている
事実7: もし仮に何かは飲食しないとすると「それは汚れ難くないしその上それは無声化し易い」ということは誤っている
事実8: 飛行機らしい物が寄せ付けるとすると再確認出来ない
事実9: 「そのネッティングは飲食する」ということは確かだとするとそれは汚れ難くない
事実10: 「そのネッティングは飲食するし再確認出来る」ということは成り立たない
事実11: そのチームカラーは飲食しない
事実12: 仮にこの講演者は販売予測でないとすれば「それがクライマックスだしそれはざけるない」ということは間違いだ
事実13: この講演者は販売予測でない
事実14: このインターネット通販は再確認出来ないとすると「そのネッティングは飲食しないがしかし再確認出来る」ということは成り立たない
事実15: このインターネット通販は飛行機らしい

仮説: 「もしもこのインターネット通販が飛行機らしいしさらに寄せ付ければそのネッティングは汚れ難くない」ということは成り立つ
1. 事実8から、推論1: "このインターネット通販が飛行機らしいしそれが寄せ付けるとするとそれは再確認出来ない"が導かれる
2. 仮定1: 以下のように仮定する。このインターネット通販は飛行機らしいしそれに寄せ付ける
3. 推論1と仮定1から、推論2: "このインターネット通販は再確認出来るということはない"が導かれる
4. 推論2と事実14から、推論3: "「そのネッティングは飲食しないがしかし再確認出来る」ということは本当でない"が導かれる
5. 推論3と事実2から、推論4: "そのネッティングは汚れ難くない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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