あの営業店は読み耽る
fact1: 「仮に「このＣＶＳは身軽くないしその上助修士であるということはない」ということは成り立たないとすればあの新平民は広がり易くない」ということは間違っていない fact2: 「あの営業店は弱虫だ」ということは本当であるとすればその新平民は読み耽る fact3: もしも「あの日野ＫＣ‐ＲＪ一ＪＪＡＡは可愛いかそれは忠実忠実しいかもしくは両方ともである」ということは偽だとしたらその良民は忠実忠実しかない fact4: あの農業技術は六十九年頃でないとすると「このＣＶＳは身軽くなくてしかもそれは助修士でない」ということは成り立たない fact5: もし仮に「このＣＶＳは広がり易いかもしくは助修士でない」ということは誤っているとすれば「弱虫だ」ということは真実だ fact6: 仮にある物は取れ易いとすれば「承認図品であってそれに伝え易くない」ということは間違いである fact7: 仮に何かは固しとするとそれは取れ易い fact8: もし仮にあの日野ＫＣ‐ＲＪ一ＪＪＡＡが学習観でないとするとそれはブレイブウーマンであるしそれは賑々しい fact9: その新平民は読み耽らない fact10: その新平民が弱虫だしその上広がり易いとすればあのＣＶＳは主応力線でない fact11: ブレイブウーマンはカット出来ないけれどすりゃ良い fact12: あの営業店は主応力線だ fact13: もしあの営業店が主応力線でその上それが読み耽るとしたらその新平民は弱虫でない fact14: あの営業店が主応力線であるし弱虫だとしたらその新平民は読み耽らない fact15: この創作方法は広がり易い fact16: このＣＶＳは広がり易い fact17: もし何かは胃袋でないとすると「可愛いかあるいは忠実忠実しいかどちらもである」ということは事実と異なる fact18: 何かは広がり易くないとするとそれは主応力線であるし加えて弱虫である fact19: もしその良民が忠実忠実しかないとしたらあの農業技術は固しししかも考え過ぎる fact20: なんらかのものは身軽いとすれば「広がり易いかあるいは助修士だということはないかもしくは両方ともである」ということは誤っている fact21: 「あるものは承認図品であるけど伝え易くない」ということは成り立たないならば六十九年頃でない fact22: 仮にこのＣＶＳは広がり易いとしたら「その新平民は弱虫でない」ということは偽だ fact23: その新平民は主応力線だ fact24: もしある物がカット出来ない一方でそれがすりゃ良いとするとそれは胃袋でない
void -> assump1: 以下のように仮定する。あの営業店は読み耽る; fact12 & assump1 -> int1: あの営業店は主応力線であるし読み耽る; int1 & fact13 -> int2: その新平民は弱虫でない; fact22 & fact16 -> int3: 「その新平民は弱虫だ」ということは正しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの営業店は読み耽る
fact26 -> int5: もしこのＣＶＳは身軽いとしたら「広がり易いかあるいは助修士でないかもしくは両方ともだ」ということは成り立たない;
$facts$ = fact1: 「仮に「このＣＶＳは身軽くないしその上助修士であるということはない」ということは成り立たないとすればあの新平民は広がり易くない」ということは間違っていない fact2: 「あの営業店は弱虫だ」ということは本当であるとすればその新平民は読み耽る fact3: もしも「あの日野ＫＣ‐ＲＪ一ＪＪＡＡは可愛いかそれは忠実忠実しいかもしくは両方ともである」ということは偽だとしたらその良民は忠実忠実しかない fact4: あの農業技術は六十九年頃でないとすると「このＣＶＳは身軽くなくてしかもそれは助修士でない」ということは成り立たない fact5: もし仮に「このＣＶＳは広がり易いかもしくは助修士でない」ということは誤っているとすれば「弱虫だ」ということは真実だ fact6: 仮にある物は取れ易いとすれば「承認図品であってそれに伝え易くない」ということは間違いである fact7: 仮に何かは固しとするとそれは取れ易い fact8: もし仮にあの日野ＫＣ‐ＲＪ一ＪＪＡＡが学習観でないとするとそれはブレイブウーマンであるしそれは賑々しい fact9: その新平民は読み耽らない fact10: その新平民が弱虫だしその上広がり易いとすればあのＣＶＳは主応力線でない fact11: ブレイブウーマンはカット出来ないけれどすりゃ良い fact12: あの営業店は主応力線だ fact13: もしあの営業店が主応力線でその上それが読み耽るとしたらその新平民は弱虫でない fact14: あの営業店が主応力線であるし弱虫だとしたらその新平民は読み耽らない fact15: この創作方法は広がり易い fact16: このＣＶＳは広がり易い fact17: もし何かは胃袋でないとすると「可愛いかあるいは忠実忠実しいかどちらもである」ということは事実と異なる fact18: 何かは広がり易くないとするとそれは主応力線であるし加えて弱虫である fact19: もしその良民が忠実忠実しかないとしたらあの農業技術は固しししかも考え過ぎる fact20: なんらかのものは身軽いとすれば「広がり易いかあるいは助修士だということはないかもしくは両方ともである」ということは誤っている fact21: 「あるものは承認図品であるけど伝え易くない」ということは成り立たないならば六十九年頃でない fact22: 仮にこのＣＶＳは広がり易いとしたら「その新平民は弱虫でない」ということは偽だ fact23: その新平民は主応力線だ fact24: もしある物がカット出来ない一方でそれがすりゃ良いとするとそれは胃袋でない ; $hypothesis$ = あの営業店は読み耽る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの営業店は読み耽る; fact12 & assump1 -> int1: あの営業店は主応力線であるし読み耽る; int1 & fact13 -> int2: その新平民は弱虫でない; fact22 & fact16 -> int3: 「その新平民は弱虫だ」ということは正しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「仮に「このＣＶＳは身軽くないしその上助修士であるということはない」ということは成り立たないとすればあの新平民は広がり易くない」ということは間違っていない
事実2: 「あの営業店は弱虫だ」ということは本当であるとすればその新平民は読み耽る
事実3: もしも「あの日野ＫＣ‐ＲＪ一ＪＪＡＡは可愛いかそれは忠実忠実しいかもしくは両方ともである」ということは偽だとしたらその良民は忠実忠実しかない
事実4: あの農業技術は六十九年頃でないとすると「このＣＶＳは身軽くなくてしかもそれは助修士でない」ということは成り立たない
事実5: もし仮に「このＣＶＳは広がり易いかもしくは助修士でない」ということは誤っているとすれば「弱虫だ」ということは真実だ
事実6: 仮にある物は取れ易いとすれば「承認図品であってそれに伝え易くない」ということは間違いである
事実7: 仮に何かは固しとするとそれは取れ易い
事実8: もし仮にあの日野ＫＣ‐ＲＪ一ＪＪＡＡが学習観でないとするとそれはブレイブウーマンであるしそれは賑々しい
事実9: その新平民は読み耽らない
事実10: その新平民が弱虫だしその上広がり易いとすればあのＣＶＳは主応力線でない
事実11: ブレイブウーマンはカット出来ないけれどすりゃ良い
事実12: あの営業店は主応力線だ
事実13: もしあの営業店が主応力線でその上それが読み耽るとしたらその新平民は弱虫でない
事実14: あの営業店が主応力線であるし弱虫だとしたらその新平民は読み耽らない
事実15: この創作方法は広がり易い
事実16: このＣＶＳは広がり易い
事実17: もし何かは胃袋でないとすると「可愛いかあるいは忠実忠実しいかどちらもである」ということは事実と異なる
事実18: 何かは広がり易くないとするとそれは主応力線であるし加えて弱虫である
事実19: もしその良民が忠実忠実しかないとしたらあの農業技術は固しししかも考え過ぎる
事実20: なんらかのものは身軽いとすれば「広がり易いかあるいは助修士だということはないかもしくは両方ともである」ということは誤っている
事実21: 「あるものは承認図品であるけど伝え易くない」ということは成り立たないならば六十九年頃でない
事実22: 仮にこのＣＶＳは広がり易いとしたら「その新平民は弱虫でない」ということは偽だ
事実23: その新平民は主応力線だ
事実24: もしある物がカット出来ない一方でそれがすりゃ良いとするとそれは胃袋でない

仮説: あの営業店は読み耽る
1. 仮定1: 以下のように仮定する。あの営業店は読み耽る
2. 事実12と仮定1から、推論1: "あの営業店は主応力線であるし読み耽る"が導かれる
3. 推論1と事実13から、推論2: "その新平民は弱虫でない"が導かれる
4. 事実22と事実16から、推論3: "「その新平民は弱虫だ」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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