「その格子点は得難くてそれにそれは解説する」ということは嘘である
fact1: もしなんらかの物はごっつかないとすれば「得難くて更に解説する」ということは誤っている fact2: その定刻が初陣だとするとその格子点は解説する fact3: このＡレベルは予定しないししかも腕立てでないとすればそれは降車しない fact4: その格子点は出入りし易い fact5: もしもそのホックが出入りし易くないかあるいは再選択であるかどちらもだとしたらその定刻は悪事でない fact6: もし仮にその格子点が出入りし易いとすれば悪事でなくてその上再選択である fact7: もしなにがしかのものは御伺いしないとすれば「出入りし易くないかまたはそれは再選択であるか両方である」ということは正しい fact8: その定刻はごっつかないとすればそれは齎し易いかもしくは初陣である fact9: もし何らかのものは悪事でないがしかし再選択だとするとそれは得難い fact10: その定刻はごっついということはない fact11: その格子点は悪事でない fact12: 「もし悪事は再選択であるとすればそれは得難い」ということは本当だ fact13: もし仮に「その解除条件は申告減算するし降車する」ということは偽だとすればそのホックは御伺いしない fact14: もし仮にその格子点が再選択ならばその定刻は悪事である fact15: その格子点が出入りし易いとすると悪事でない fact16: 仮にその定刻は齎し易いとすると「その格子点は解説する」ということは確かである fact17: 仮にその定刻は悪事でないとしたらその格子点はごっつかない
fact8 & fact10 -> int1: 「その定刻は齎し易いかあるいは初陣であるか両方だ」ということは本当である; int1 & fact16 & fact2 -> int2: その格子点は解説する; fact9 -> int3: その格子点が悪事だということはない一方でそれが再選択だとするとそれは得難い; fact4 & fact6 -> int4: その格子点は悪事でないがそれは再選択だ; int3 & int4 -> int5: その格子点は得難い; int2 & int5 -> hypothesis;
fact8 & fact10 -> int1: ({AA}{a} v {AB}{a}); int1 & fact16 & fact2 -> int2: {B}{b}; fact9 -> int3: (¬{D}{b} & {E}{b}) -> {C}{b}; fact4 & fact6 -> int4: (¬{D}{b} & {E}{b}); int3 & int4 -> int5: {C}{b}; int2 & int5 -> hypothesis;
「その格子点は得難くてまたそれは解説する」ということは間違いである
fact23 -> int6: 仮にその格子点はごっつかないなら「それは得難いししかもそれは解説する」ということは嘘だ; fact21 -> int7: もし仮にそのホックが御伺いするということはないとしたら出入りし易くないかまたは再選択である;
$facts$ = fact1: もしなんらかの物はごっつかないとすれば「得難くて更に解説する」ということは誤っている fact2: その定刻が初陣だとするとその格子点は解説する fact3: このＡレベルは予定しないししかも腕立てでないとすればそれは降車しない fact4: その格子点は出入りし易い fact5: もしもそのホックが出入りし易くないかあるいは再選択であるかどちらもだとしたらその定刻は悪事でない fact6: もし仮にその格子点が出入りし易いとすれば悪事でなくてその上再選択である fact7: もしなにがしかのものは御伺いしないとすれば「出入りし易くないかまたはそれは再選択であるか両方である」ということは正しい fact8: その定刻はごっつかないとすればそれは齎し易いかもしくは初陣である fact9: もし何らかのものは悪事でないがしかし再選択だとするとそれは得難い fact10: その定刻はごっついということはない fact11: その格子点は悪事でない fact12: 「もし悪事は再選択であるとすればそれは得難い」ということは本当だ fact13: もし仮に「その解除条件は申告減算するし降車する」ということは偽だとすればそのホックは御伺いしない fact14: もし仮にその格子点が再選択ならばその定刻は悪事である fact15: その格子点が出入りし易いとすると悪事でない fact16: 仮にその定刻は齎し易いとすると「その格子点は解説する」ということは確かである fact17: 仮にその定刻は悪事でないとしたらその格子点はごっつかない ; $hypothesis$ = 「その格子点は得難くてそれにそれは解説する」ということは嘘である ; $proof$ = 
fact8 & fact10 -> int1: 「その定刻は齎し易いかあるいは初陣であるか両方だ」ということは本当である; int1 & fact16 & fact2 -> int2: その格子点は解説する; fact9 -> int3: その格子点が悪事だということはない一方でそれが再選択だとするとそれは得難い; fact4 & fact6 -> int4: その格子点は悪事でないがそれは再選択だ; int3 & int4 -> int5: その格子点は得難い; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物はごっつかないとすれば「得難くて更に解説する」ということは誤っている
事実2: その定刻が初陣だとするとその格子点は解説する
事実3: このＡレベルは予定しないししかも腕立てでないとすればそれは降車しない
事実4: その格子点は出入りし易い
事実5: もしもそのホックが出入りし易くないかあるいは再選択であるかどちらもだとしたらその定刻は悪事でない
事実6: もし仮にその格子点が出入りし易いとすれば悪事でなくてその上再選択である
事実7: もしなにがしかのものは御伺いしないとすれば「出入りし易くないかまたはそれは再選択であるか両方である」ということは正しい
事実8: その定刻はごっつかないとすればそれは齎し易いかもしくは初陣である
事実9: もし何らかのものは悪事でないがしかし再選択だとするとそれは得難い
事実10: その定刻はごっついということはない
事実11: その格子点は悪事でない
事実12: 「もし悪事は再選択であるとすればそれは得難い」ということは本当だ
事実13: もし仮に「その解除条件は申告減算するし降車する」ということは偽だとすればそのホックは御伺いしない
事実14: もし仮にその格子点が再選択ならばその定刻は悪事である
事実15: その格子点が出入りし易いとすると悪事でない
事実16: 仮にその定刻は齎し易いとすると「その格子点は解説する」ということは確かである
事実17: 仮にその定刻は悪事でないとしたらその格子点はごっつかない

仮説: 「その格子点は得難くてそれにそれは解説する」ということは嘘である
1. 事実8と事実10から、推論1: "「その定刻は齎し易いかあるいは初陣であるか両方だ」ということは本当である"が導かれる
2. 推論1と事実16と事実2から、推論2: "その格子点は解説する"が導かれる
3. 事実9から、推論3: "その格子点が悪事だということはない一方でそれが再選択だとするとそれは得難い"が導かれる
4. 事実4と事実6から、推論4: "その格子点は悪事でないがそれは再選択だ"が導かれる
5. 推論3と推論4から、推論5: "その格子点は得難い"が導かれる
6. 推論2と推論5から、仮説が否定される

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