「あの議は飲食等でないしおまけにそれは太くない」ということは偽だ
fact1: もしなにかは消し終わらないならばそれは気弱くて加えて幼けない fact2: あるものは飲食等でしかも美しい fact3: そのキャラメルは主導しないかそれは軽々しかない fact4: もし仮にとある物が幼けないし加えてそれは消し終わるとすれば「そのキャラメルは美しくない」ということは成り立つ fact5: 「幼けない」物はある fact6: そのキャラメルが販売時点でないなら説明し直すしそれは飲食等だ fact7: もしもその行政機能は太いとしたら「あの議は飲食等だが太いということはない」ということは事実と異なる fact8: 仮にそのキャラメルが美しくないとすればその行政機能は太い fact9: もしその行政機能は太いなら「あの議は飲食等だということはないし太いということはない」ということは成り立たない fact10: もし仮にその鼓膜換気チューブ留置術が太くないならその行政機能は幼けない fact11: もしそのキャラメルが主導するということはないか軽々しかないかまたはどちらもであるとすればそれは販売時点でない fact12: 「あの議は飲食等だけれどそれは太いということはない」ということは成り立たない fact13: 「消し終わる」物はある fact14: 仮に「その行政機能は太い」ということは確かなら「あの議は飲食等でないがそれは太い」ということは誤っている fact15: その鼓膜換気チューブ留置術は幼けないし消し終わる fact16: その鼓膜換気チューブ留置術は消し終わる fact17: あの議がべた付くということはないならその行政機能は美しいしまた太い fact18: もしも美しい物が太いならばそのキャラメルは消し終わるということはない fact19: 「あの議は飲食等だということはないが太い」ということは成り立つということはない
fact15 -> int1: あるものは幼けないし更に消し終わる; int1 & fact4 -> int2: そのキャラメルは美しいということはない; int2 & fact8 -> int3: その行政機能は太い; int3 & fact9 -> hypothesis;
とある物は気弱くて加えて説明し直す
fact25 -> int4: もし仮にそのキャラメルが消し終わらないとしたらそれは気弱いしまたそれは幼けない; fact22 & fact20 -> int5: そのキャラメルは販売時点でない; fact24 & int5 -> int6: そのキャラメルは説明し直すしそれにそれは飲食等である; int6 -> int7: そのキャラメルは説明し直す;
$facts$ = fact1: もしなにかは消し終わらないならばそれは気弱くて加えて幼けない fact2: あるものは飲食等でしかも美しい fact3: そのキャラメルは主導しないかそれは軽々しかない fact4: もし仮にとある物が幼けないし加えてそれは消し終わるとすれば「そのキャラメルは美しくない」ということは成り立つ fact5: 「幼けない」物はある fact6: そのキャラメルが販売時点でないなら説明し直すしそれは飲食等だ fact7: もしもその行政機能は太いとしたら「あの議は飲食等だが太いということはない」ということは事実と異なる fact8: 仮にそのキャラメルが美しくないとすればその行政機能は太い fact9: もしその行政機能は太いなら「あの議は飲食等だということはないし太いということはない」ということは成り立たない fact10: もし仮にその鼓膜換気チューブ留置術が太くないならその行政機能は幼けない fact11: もしそのキャラメルが主導するということはないか軽々しかないかまたはどちらもであるとすればそれは販売時点でない fact12: 「あの議は飲食等だけれどそれは太いということはない」ということは成り立たない fact13: 「消し終わる」物はある fact14: 仮に「その行政機能は太い」ということは確かなら「あの議は飲食等でないがそれは太い」ということは誤っている fact15: その鼓膜換気チューブ留置術は幼けないし消し終わる fact16: その鼓膜換気チューブ留置術は消し終わる fact17: あの議がべた付くということはないならその行政機能は美しいしまた太い fact18: もしも美しい物が太いならばそのキャラメルは消し終わるということはない fact19: 「あの議は飲食等だということはないが太い」ということは成り立つということはない ; $hypothesis$ = 「あの議は飲食等でないしおまけにそれは太くない」ということは偽だ ; $proof$ = 
fact15 -> int1: あるものは幼けないし更に消し終わる; int1 & fact4 -> int2: そのキャラメルは美しいということはない; int2 & fact8 -> int3: その行政機能は太い; int3 & fact9 -> hypothesis; __PROVED__
事実1: もしなにかは消し終わらないならばそれは気弱くて加えて幼けない
事実2: あるものは飲食等でしかも美しい
事実3: そのキャラメルは主導しないかそれは軽々しかない
事実4: もし仮にとある物が幼けないし加えてそれは消し終わるとすれば「そのキャラメルは美しくない」ということは成り立つ
事実5: 「幼けない」物はある
事実6: そのキャラメルが販売時点でないなら説明し直すしそれは飲食等だ
事実7: もしもその行政機能は太いとしたら「あの議は飲食等だが太いということはない」ということは事実と異なる
事実8: 仮にそのキャラメルが美しくないとすればその行政機能は太い
事実9: もしその行政機能は太いなら「あの議は飲食等だということはないし太いということはない」ということは成り立たない
事実10: もし仮にその鼓膜換気チューブ留置術が太くないならその行政機能は幼けない
事実11: もしそのキャラメルが主導するということはないか軽々しかないかまたはどちらもであるとすればそれは販売時点でない
事実12: 「あの議は飲食等だけれどそれは太いということはない」ということは成り立たない
事実13: 「消し終わる」物はある
事実14: 仮に「その行政機能は太い」ということは確かなら「あの議は飲食等でないがそれは太い」ということは誤っている
事実15: その鼓膜換気チューブ留置術は幼けないし消し終わる
事実16: その鼓膜換気チューブ留置術は消し終わる
事実17: あの議がべた付くということはないならその行政機能は美しいしまた太い
事実18: もしも美しい物が太いならばそのキャラメルは消し終わるということはない
事実19: 「あの議は飲食等だということはないが太い」ということは成り立つということはない

仮説: 「あの議は飲食等でないしおまけにそれは太くない」ということは偽だ
1. 事実15から、推論1: "あるものは幼けないし更に消し終わる"が導かれる
2. 推論1と事実4から、推論2: "そのキャラメルは美しいということはない"が導かれる
3. 推論2と事実8から、推論3: "その行政機能は太い"が導かれる
4. 推論3と事実9から、仮説が導かれる

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