その文展は蹴り飛ばすということはない
fact1: 「この共同体スホードは作り難くないかもしくは町中周遊バスハイカラさんであるかまたは両方である」ということは成り立たないならその文展はコンポートでない fact2: もしも「「とあるものは蹴り飛ばすがしかし掴み難いということはない」ということは成り立つ」ということは誤りであるなら蹴り飛ばさない fact3: 「コンポートでない」物はある fact4: 仮にその非農家が通じ易くておまけに業務改善であるならばあの流し目は実行し易くない fact5: もしもなにかはコンポートでないとすると「蹴り飛ばすしそれは掴み難くない」ということは成り立たない fact6: 「あの流し目は甚だしい」ということは正しいとしたら「この共同体スホードは作り難くないかあるいはそれは町中周遊バスハイカラさんだ」ということは成り立たない fact7: もし仮になんらかのものはコンポートでないなら「この共同体スホードは掴み難いが町中周遊バスハイカラさんでない」ということは成り立たない fact8: もし仮にこの共同体スホードが作り難いならばその文展は蹴り飛ばす fact9: 「任意位置は甚だしい」ということは事実である fact10: その非農家は通じ易い fact11: もし仮に「なにかは掴み難いが町中周遊バスハイカラさんだということはない」ということは成り立たないとすればそれは作り難い fact12: 実行し易くないものは任意位置であるしその上和定食だ
fact3 & fact7 -> int1: 「この共同体スホードは掴み難いがしかし町中周遊バスハイカラさんだということはない」ということは事実と異なる; fact11 -> int2: 仮に「この共同体スホードは掴み難いけど町中周遊バスハイカラさんでない」ということは間違いであるならばそれは作り難い; int1 & int2 -> int3: この共同体スホードは作り難い; int3 & fact8 -> hypothesis;
fact3 & fact7 -> int1: ¬({B}{a} & ¬{C}{a}); fact11 -> int2: ¬({B}{a} & ¬{C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; int3 & fact8 -> hypothesis;
その文展は蹴り飛ばさない
fact16 -> int4: もしも「その文展は蹴り飛ばす一方で掴み難くない」ということは間違いならば蹴り飛ばさない; fact20 -> int5: 仮にその文展はコンポートでないなら「蹴り飛ばすししかも掴み難くない」ということは成り立たない; fact17 -> int6: もしもあの流し目が任意位置ならば甚だしい; fact14 -> int7: 仮にあの流し目は実行し易くないとしたらそれは任意位置でありその上和定食である;
$facts$ = fact1: 「この共同体スホードは作り難くないかもしくは町中周遊バスハイカラさんであるかまたは両方である」ということは成り立たないならその文展はコンポートでない fact2: もしも「「とあるものは蹴り飛ばすがしかし掴み難いということはない」ということは成り立つ」ということは誤りであるなら蹴り飛ばさない fact3: 「コンポートでない」物はある fact4: 仮にその非農家が通じ易くておまけに業務改善であるならばあの流し目は実行し易くない fact5: もしもなにかはコンポートでないとすると「蹴り飛ばすしそれは掴み難くない」ということは成り立たない fact6: 「あの流し目は甚だしい」ということは正しいとしたら「この共同体スホードは作り難くないかあるいはそれは町中周遊バスハイカラさんだ」ということは成り立たない fact7: もし仮になんらかのものはコンポートでないなら「この共同体スホードは掴み難いが町中周遊バスハイカラさんでない」ということは成り立たない fact8: もし仮にこの共同体スホードが作り難いならばその文展は蹴り飛ばす fact9: 「任意位置は甚だしい」ということは事実である fact10: その非農家は通じ易い fact11: もし仮に「なにかは掴み難いが町中周遊バスハイカラさんだということはない」ということは成り立たないとすればそれは作り難い fact12: 実行し易くないものは任意位置であるしその上和定食だ ; $hypothesis$ = その文展は蹴り飛ばすということはない ; $proof$ = 
fact3 & fact7 -> int1: 「この共同体スホードは掴み難いがしかし町中周遊バスハイカラさんだということはない」ということは事実と異なる; fact11 -> int2: 仮に「この共同体スホードは掴み難いけど町中周遊バスハイカラさんでない」ということは間違いであるならばそれは作り難い; int1 & int2 -> int3: この共同体スホードは作り難い; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: 「この共同体スホードは作り難くないかもしくは町中周遊バスハイカラさんであるかまたは両方である」ということは成り立たないならその文展はコンポートでない
事実2: もしも「「とあるものは蹴り飛ばすがしかし掴み難いということはない」ということは成り立つ」ということは誤りであるなら蹴り飛ばさない
事実3: 「コンポートでない」物はある
事実4: 仮にその非農家が通じ易くておまけに業務改善であるならばあの流し目は実行し易くない
事実5: もしもなにかはコンポートでないとすると「蹴り飛ばすしそれは掴み難くない」ということは成り立たない
事実6: 「あの流し目は甚だしい」ということは正しいとしたら「この共同体スホードは作り難くないかあるいはそれは町中周遊バスハイカラさんだ」ということは成り立たない
事実7: もし仮になんらかのものはコンポートでないなら「この共同体スホードは掴み難いが町中周遊バスハイカラさんでない」ということは成り立たない
事実8: もし仮にこの共同体スホードが作り難いならばその文展は蹴り飛ばす
事実9: 「任意位置は甚だしい」ということは事実である
事実10: その非農家は通じ易い
事実11: もし仮に「なにかは掴み難いが町中周遊バスハイカラさんだということはない」ということは成り立たないとすればそれは作り難い
事実12: 実行し易くないものは任意位置であるしその上和定食だ

仮説: その文展は蹴り飛ばすということはない
1. 事実3と事実7から、推論1: "「この共同体スホードは掴み難いがしかし町中周遊バスハイカラさんだということはない」ということは事実と異なる"が導かれる
2. 事実11から、推論2: "仮に「この共同体スホードは掴み難いけど町中周遊バスハイカラさんでない」ということは間違いであるならばそれは作り難い"が導かれる
3. 推論1と推論2から、推論3: "この共同体スホードは作り難い"が導かれる
4. 推論3と事実8から、仮説が否定される

よって、仮説が否定されました。