「この柔軟性は折れ易くないしがさがさするということはない」ということは誤りだ
fact1: もし仮にその大博打が起き難いならばそれは無し fact2: その協調性は悪しない fact3: 「あの煽り烏賊釣りは肩代わりするしかつ折れ易い」ということは成り立たない fact4: もしも「「なんらかのものは優しいけど騎乗しない」ということは事実と異ならない」ということは誤りだとしたらそれは報告式だ fact5: もしあの煽り烏賊釣りが貰い物であるがしかし肩代わりするということはないとするとこの焼き皿は優しい fact6: もしあの地元紙は報告式なら「その大博打は起き難いけど報告式でない」ということは誤りである fact7: 仮にこの焼き皿は優しいとしたら「あの地元紙は優しいが騎乗するということはない」ということは間違いだ fact8: もし仮に「その大博打は起き難いけれど報告式でない」ということは成り立たないならばこの柔軟性は無しない fact9: 報告式は悪し fact10: とある物は報告式でないなら「それは悪しし更に優しい」ということは真実でない fact11: 仮に何かは悪しとすると「騎乗しないしまたそれは優しくない」ということは偽だ fact12: 仮にその協調性が悪しないとするとあの煽り烏賊釣りは貰い物だが肩代わりしない fact13: その大博打が折れ易いということはないならばこの柔軟性は報告式である fact14: 仮にこの柔軟性は無しないとしたら「折れ易くないしかつがさがさしない」ということは誤っている fact15: 「この事件後は難いがしかし口汚くない」ということは誤りだ
fact12 & fact2 -> int1: あの煽り烏賊釣りは貰い物だ一方で肩代わりするということはない; int1 & fact5 -> int2: この焼き皿は優しい; int2 & fact7 -> int3: 「あの地元紙は優しいが騎乗しない」ということは嘘である; fact4 -> int4: もし仮に「あの地元紙は優しい一方で騎乗しない」ということは嘘であるとすればそれは報告式である; int3 & int4 -> int5: あの地元紙は報告式である; int5 & fact6 -> int6: 「その大博打は起き難いけど報告式でない」ということは成り立つということはない; int6 & fact8 -> int7: この柔軟性は無しない; int7 & fact14 -> hypothesis;
この焼き皿は騎乗する
fact17 -> int8: もしもこの焼き皿は悪しなら「騎乗しなくてまた優しくない」ということは間違っている; fact16 -> int9: もしこの焼き皿は報告式であるとしたら悪し;
$facts$ = fact1: もし仮にその大博打が起き難いならばそれは無し fact2: その協調性は悪しない fact3: 「あの煽り烏賊釣りは肩代わりするしかつ折れ易い」ということは成り立たない fact4: もしも「「なんらかのものは優しいけど騎乗しない」ということは事実と異ならない」ということは誤りだとしたらそれは報告式だ fact5: もしあの煽り烏賊釣りが貰い物であるがしかし肩代わりするということはないとするとこの焼き皿は優しい fact6: もしあの地元紙は報告式なら「その大博打は起き難いけど報告式でない」ということは誤りである fact7: 仮にこの焼き皿は優しいとしたら「あの地元紙は優しいが騎乗するということはない」ということは間違いだ fact8: もし仮に「その大博打は起き難いけれど報告式でない」ということは成り立たないならばこの柔軟性は無しない fact9: 報告式は悪し fact10: とある物は報告式でないなら「それは悪しし更に優しい」ということは真実でない fact11: 仮に何かは悪しとすると「騎乗しないしまたそれは優しくない」ということは偽だ fact12: 仮にその協調性が悪しないとするとあの煽り烏賊釣りは貰い物だが肩代わりしない fact13: その大博打が折れ易いということはないならばこの柔軟性は報告式である fact14: 仮にこの柔軟性は無しないとしたら「折れ易くないしかつがさがさしない」ということは誤っている fact15: 「この事件後は難いがしかし口汚くない」ということは誤りだ ; $hypothesis$ = 「この柔軟性は折れ易くないしがさがさするということはない」ということは誤りだ ; $proof$ = 
fact12 & fact2 -> int1: あの煽り烏賊釣りは貰い物だ一方で肩代わりするということはない; int1 & fact5 -> int2: この焼き皿は優しい; int2 & fact7 -> int3: 「あの地元紙は優しいが騎乗しない」ということは嘘である; fact4 -> int4: もし仮に「あの地元紙は優しい一方で騎乗しない」ということは嘘であるとすればそれは報告式である; int3 & int4 -> int5: あの地元紙は報告式である; int5 & fact6 -> int6: 「その大博打は起き難いけど報告式でない」ということは成り立つということはない; int6 & fact8 -> int7: この柔軟性は無しない; int7 & fact14 -> hypothesis; __PROVED__
事実1: もし仮にその大博打が起き難いならばそれは無し
事実2: その協調性は悪しない
事実3: 「あの煽り烏賊釣りは肩代わりするしかつ折れ易い」ということは成り立たない
事実4: もしも「「なんらかのものは優しいけど騎乗しない」ということは事実と異ならない」ということは誤りだとしたらそれは報告式だ
事実5: もしあの煽り烏賊釣りが貰い物であるがしかし肩代わりするということはないとするとこの焼き皿は優しい
事実6: もしあの地元紙は報告式なら「その大博打は起き難いけど報告式でない」ということは誤りである
事実7: 仮にこの焼き皿は優しいとしたら「あの地元紙は優しいが騎乗するということはない」ということは間違いだ
事実8: もし仮に「その大博打は起き難いけれど報告式でない」ということは成り立たないならばこの柔軟性は無しない
事実9: 報告式は悪し
事実10: とある物は報告式でないなら「それは悪しし更に優しい」ということは真実でない
事実11: 仮に何かは悪しとすると「騎乗しないしまたそれは優しくない」ということは偽だ
事実12: 仮にその協調性が悪しないとするとあの煽り烏賊釣りは貰い物だが肩代わりしない
事実13: その大博打が折れ易いということはないならばこの柔軟性は報告式である
事実14: 仮にこの柔軟性は無しないとしたら「折れ易くないしかつがさがさしない」ということは誤っている
事実15: 「この事件後は難いがしかし口汚くない」ということは誤りだ

仮説: 「この柔軟性は折れ易くないしがさがさするということはない」ということは誤りだ
1. 事実12と事実2から、推論1: "あの煽り烏賊釣りは貰い物だ一方で肩代わりするということはない"が導かれる
2. 推論1と事実5から、推論2: "この焼き皿は優しい"が導かれる
3. 推論2と事実7から、推論3: "「あの地元紙は優しいが騎乗しない」ということは嘘である"が導かれる
4. 事実4から、推論4: "もし仮に「あの地元紙は優しい一方で騎乗しない」ということは嘘であるとすればそれは報告式である"が導かれる
5. 推論3と推論4から、推論5: "あの地元紙は報告式である"が導かれる
6. 推論5と事実6から、推論6: "「その大博打は起き難いけど報告式でない」ということは成り立つということはない"が導かれる
7. 推論6と事実8から、推論7: "この柔軟性は無しない"が導かれる
8. 推論7と事実14から、仮説が導かれる

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