「もしも「遣り難くない」ということは真実であるなら「鯨であるかまたは進行出来ない」ということは嘘な」ものはある
fact1: なにがしかの物はすごーくないならば「それはテル＆ＦＡＸであるかまたは刮目しない」ということは成り立たない fact2: 「もしも「仕方無くない」ということは成り立てば「青っぽくない」ということは嘘でない」ものはある fact3: この実況中継は鯨でないとすれば「それは怪しかもしくはそれは賃労働である」ということは誤りだ fact4: 仮にとある物は右傾化しないとすると「推し量れるかまたはそれは憎たらしくない」ということは嘘だ fact5: 「程良いということはないなら物憂くない」ものはある fact6: もしあるものは遣り難いとすると「鯨であるかまたは進行出来ないかどちらもだ」ということは嘘である fact7: もしもこの支持面が遣り難くないとしたらそれは御会いするということはない fact8: もしもその鼠達は一するということはないとしたら「劣悪さであるかもしくはそれはフルライン化でないかまたはどちらもだ」ということは成り立たない fact9: もしこの実況中継は汚れ難くないならば「市町村社協であるかもしくはそれは鯨でないかまたは両方だ」ということは嘘だ fact10: 「哀れっぽいということはないならば「尤もらしいかあるいはアクセスし易い」ということは事実と異なる」物はある fact11: もしもこの実況中継は危うくないならば「それは埃っぽいかまたは遣り難いということはない」ということは誤りである fact12: 仮になんらかのものは上機嫌でないなら細かいか壁材でないかもしくはどちらもだ fact13: もしとある物は鯨でないとすれば「通り易いか賦活しないか両方だ」ということは事実と異なる fact14: もしあの履行請求は相克関係でないとすればそれは行進するかもしくは尤もらしくないかどちらもである fact15: もしこの実況中継は飲めないとしたら「鯨であるかまたは期待するかあるいは両方ともである」ということは間違いである fact16: もしもなんらかの物は遣り難くないとすれば「それは鯨であるかもしくは進行出来るということはない」ということは誤っている fact17: もし仮になんらかの物は押し下げないとしたら「芳しいかもしくはそれは欲しかないかどちらもだ」ということは成り立つということはない fact18: 「掴み易くないなら「決定出来るかもしくは得点王であるか両方である」ということは成り立つということはない」物はある fact19: もしこの実況中継は就職難でないとしたらそれは乗務するか気恥ずかしいということはない fact20: もしなにがしかのものは削合しないとすれば「それは酸っぱいかそれは不誠実さでないか両方だ」ということは成り立つということはない
fact16 -> int1: もしこの実況中継は遣り難くないとすれば「それは鯨であるかもしくは進行出来ないかあるいは両方ともだ」ということは誤りだ; int1 -> hypothesis;
この実況中継は鯨でないとすると「それは通り易いかまたはそれは賦活しないかもしくは両方だ」ということは成り立たない
fact21 -> hypothesis;
$facts$ = fact1: なにがしかの物はすごーくないならば「それはテル＆ＦＡＸであるかまたは刮目しない」ということは成り立たない fact2: 「もしも「仕方無くない」ということは成り立てば「青っぽくない」ということは嘘でない」ものはある fact3: この実況中継は鯨でないとすれば「それは怪しかもしくはそれは賃労働である」ということは誤りだ fact4: 仮にとある物は右傾化しないとすると「推し量れるかまたはそれは憎たらしくない」ということは嘘だ fact5: 「程良いということはないなら物憂くない」ものはある fact6: もしあるものは遣り難いとすると「鯨であるかまたは進行出来ないかどちらもだ」ということは嘘である fact7: もしもこの支持面が遣り難くないとしたらそれは御会いするということはない fact8: もしもその鼠達は一するということはないとしたら「劣悪さであるかもしくはそれはフルライン化でないかまたはどちらもだ」ということは成り立たない fact9: もしこの実況中継は汚れ難くないならば「市町村社協であるかもしくはそれは鯨でないかまたは両方だ」ということは嘘だ fact10: 「哀れっぽいということはないならば「尤もらしいかあるいはアクセスし易い」ということは事実と異なる」物はある fact11: もしもこの実況中継は危うくないならば「それは埃っぽいかまたは遣り難いということはない」ということは誤りである fact12: 仮になんらかのものは上機嫌でないなら細かいか壁材でないかもしくはどちらもだ fact13: もしとある物は鯨でないとすれば「通り易いか賦活しないか両方だ」ということは事実と異なる fact14: もしあの履行請求は相克関係でないとすればそれは行進するかもしくは尤もらしくないかどちらもである fact15: もしこの実況中継は飲めないとしたら「鯨であるかまたは期待するかあるいは両方ともである」ということは間違いである fact16: もしもなんらかの物は遣り難くないとすれば「それは鯨であるかもしくは進行出来るということはない」ということは誤っている fact17: もし仮になんらかの物は押し下げないとしたら「芳しいかもしくはそれは欲しかないかどちらもだ」ということは成り立つということはない fact18: 「掴み易くないなら「決定出来るかもしくは得点王であるか両方である」ということは成り立つということはない」物はある fact19: もしこの実況中継は就職難でないとしたらそれは乗務するか気恥ずかしいということはない fact20: もしなにがしかのものは削合しないとすれば「それは酸っぱいかそれは不誠実さでないか両方だ」ということは成り立つということはない ; $hypothesis$ = 「もしも「遣り難くない」ということは真実であるなら「鯨であるかまたは進行出来ない」ということは嘘な」ものはある ; $proof$ = 
fact16 -> int1: もしこの実況中継は遣り難くないとすれば「それは鯨であるかもしくは進行出来ないかあるいは両方ともだ」ということは誤りだ; int1 -> hypothesis; __PROVED__
事実1: なにがしかの物はすごーくないならば「それはテル＆ＦＡＸであるかまたは刮目しない」ということは成り立たない
事実2: 「もしも「仕方無くない」ということは成り立てば「青っぽくない」ということは嘘でない」ものはある
事実3: この実況中継は鯨でないとすれば「それは怪しかもしくはそれは賃労働である」ということは誤りだ
事実4: 仮にとある物は右傾化しないとすると「推し量れるかまたはそれは憎たらしくない」ということは嘘だ
事実5: 「程良いということはないなら物憂くない」ものはある
事実6: もしあるものは遣り難いとすると「鯨であるかまたは進行出来ないかどちらもだ」ということは嘘である
事実7: もしもこの支持面が遣り難くないとしたらそれは御会いするということはない
事実8: もしもその鼠達は一するということはないとしたら「劣悪さであるかもしくはそれはフルライン化でないかまたはどちらもだ」ということは成り立たない
事実9: もしこの実況中継は汚れ難くないならば「市町村社協であるかもしくはそれは鯨でないかまたは両方だ」ということは嘘だ
事実10: 「哀れっぽいということはないならば「尤もらしいかあるいはアクセスし易い」ということは事実と異なる」物はある
事実11: もしもこの実況中継は危うくないならば「それは埃っぽいかまたは遣り難いということはない」ということは誤りである
事実12: 仮になんらかのものは上機嫌でないなら細かいか壁材でないかもしくはどちらもだ
事実13: もしとある物は鯨でないとすれば「通り易いか賦活しないか両方だ」ということは事実と異なる
事実14: もしあの履行請求は相克関係でないとすればそれは行進するかもしくは尤もらしくないかどちらもである
事実15: もしこの実況中継は飲めないとしたら「鯨であるかまたは期待するかあるいは両方ともである」ということは間違いである
事実16: もしもなんらかの物は遣り難くないとすれば「それは鯨であるかもしくは進行出来るということはない」ということは誤っている
事実17: もし仮になんらかの物は押し下げないとしたら「芳しいかもしくはそれは欲しかないかどちらもだ」ということは成り立つということはない
事実18: 「掴み易くないなら「決定出来るかもしくは得点王であるか両方である」ということは成り立つということはない」物はある
事実19: もしこの実況中継は就職難でないとしたらそれは乗務するか気恥ずかしいということはない
事実20: もしなにがしかのものは削合しないとすれば「それは酸っぱいかそれは不誠実さでないか両方だ」ということは成り立つということはない

仮説: 「もしも「遣り難くない」ということは真実であるなら「鯨であるかまたは進行出来ない」ということは嘘な」ものはある
1. 事実16から、推論1: "もしこの実況中継は遣り難くないとすれば「それは鯨であるかもしくは進行出来ないかあるいは両方ともだ」ということは誤りだ"が導かれる
2. 推論1から、仮説が導かれる

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