この小中高は口述する
fact1: 仮にこの小中高が許し難いとするとあの国債市場は口述する fact2: 仮に許し難くないものが上げ易いならそれは口述する fact3: 仮に「あのイタ飯は傾げるがそれは理解すらない」ということは誤りであるとすると傾げない fact4: もしもなんらかの物は名称変更しないとしたら「口述するしさらに玉葱である」ということは真実だ fact5: もし仮にあのイタ飯はたどたどしくないならば「傾げるしさらに理解すということはない」ということは間違いである fact6: もしもこの小中高が口述するならあの国債市場は上げ易い fact7: もしあの国債市場が口述するとしたらこの小中高は上げ易いかまたは許し難くない fact8: もしあの螻蛄が名称変更するししかも帯山であるとしたらあの国債市場は名称変更するということはない fact9: この事業エリアは許し難くない fact10: もし仮に「あの螻蛄は下忍である」ということは確かであるならば「あの国債市場は玉葱でなくて名称変更しない」ということは間違っている fact11: あの国債市場は許し難い fact12: どれもこれもは下忍だしさらに帯山である fact13: あの国債市場は上げ易くない一方で許し難い fact14: あの螻蛄はたどたどしくない fact15: 仮に何らかの物が傾げないとしたらあの螻蛄は下忍でその上帯山である fact16: あの国債市場は口述する fact17: もしあの螻蛄がたどたどしくないならばそれは名称変更するけれど傾げない fact18: あの国債市場は華々しくない一方でひ弱い fact19: この小中高は蒸し風呂だ fact20: あのイタ飯はたどたどしくない fact21: あの国債市場はたどたどしい
void -> assump1: 以下のように仮定する。この小中高は口述する; fact6 & assump1 -> int1: あの国債市場は上げ易い; fact13 -> int2: あの国債市場は上げ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この小中高は口述する
fact27 -> int4: 仮にこの小中高は許し難くない一方で上げ易いなら口述する; fact25 & fact23 -> int5: 「あのイタ飯は傾げる一方でそれは理解すということはない」ということは成り立つということはない; fact24 & int5 -> int6: あのイタ飯は傾げない; int6 -> int7: 「傾げない」物はある; int7 & fact22 -> int8: あの螻蛄は下忍であるし帯山である; int8 -> int9: あの螻蛄は下忍だ; fact26 & int9 -> int10: 「あの国債市場は玉葱でなくて名称変更しない」ということは成り立たない; int10 -> int11: 「「玉葱だということはなくて名称変更しない」ということは間違っている」ものはある;
$facts$ = fact1: 仮にこの小中高が許し難いとするとあの国債市場は口述する fact2: 仮に許し難くないものが上げ易いならそれは口述する fact3: 仮に「あのイタ飯は傾げるがそれは理解すらない」ということは誤りであるとすると傾げない fact4: もしもなんらかの物は名称変更しないとしたら「口述するしさらに玉葱である」ということは真実だ fact5: もし仮にあのイタ飯はたどたどしくないならば「傾げるしさらに理解すということはない」ということは間違いである fact6: もしもこの小中高が口述するならあの国債市場は上げ易い fact7: もしあの国債市場が口述するとしたらこの小中高は上げ易いかまたは許し難くない fact8: もしあの螻蛄が名称変更するししかも帯山であるとしたらあの国債市場は名称変更するということはない fact9: この事業エリアは許し難くない fact10: もし仮に「あの螻蛄は下忍である」ということは確かであるならば「あの国債市場は玉葱でなくて名称変更しない」ということは間違っている fact11: あの国債市場は許し難い fact12: どれもこれもは下忍だしさらに帯山である fact13: あの国債市場は上げ易くない一方で許し難い fact14: あの螻蛄はたどたどしくない fact15: 仮に何らかの物が傾げないとしたらあの螻蛄は下忍でその上帯山である fact16: あの国債市場は口述する fact17: もしあの螻蛄がたどたどしくないならばそれは名称変更するけれど傾げない fact18: あの国債市場は華々しくない一方でひ弱い fact19: この小中高は蒸し風呂だ fact20: あのイタ飯はたどたどしくない fact21: あの国債市場はたどたどしい ; $hypothesis$ = この小中高は口述する ; $proof$ = 
void -> assump1: 以下のように仮定する。この小中高は口述する; fact6 & assump1 -> int1: あの国債市場は上げ易い; fact13 -> int2: あの国債市場は上げ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にこの小中高が許し難いとするとあの国債市場は口述する
事実2: 仮に許し難くないものが上げ易いならそれは口述する
事実3: 仮に「あのイタ飯は傾げるがそれは理解すらない」ということは誤りであるとすると傾げない
事実4: もしもなんらかの物は名称変更しないとしたら「口述するしさらに玉葱である」ということは真実だ
事実5: もし仮にあのイタ飯はたどたどしくないならば「傾げるしさらに理解すということはない」ということは間違いである
事実6: もしもこの小中高が口述するならあの国債市場は上げ易い
事実7: もしあの国債市場が口述するとしたらこの小中高は上げ易いかまたは許し難くない
事実8: もしあの螻蛄が名称変更するししかも帯山であるとしたらあの国債市場は名称変更するということはない
事実9: この事業エリアは許し難くない
事実10: もし仮に「あの螻蛄は下忍である」ということは確かであるならば「あの国債市場は玉葱でなくて名称変更しない」ということは間違っている
事実11: あの国債市場は許し難い
事実12: どれもこれもは下忍だしさらに帯山である
事実13: あの国債市場は上げ易くない一方で許し難い
事実14: あの螻蛄はたどたどしくない
事実15: 仮に何らかの物が傾げないとしたらあの螻蛄は下忍でその上帯山である
事実16: あの国債市場は口述する
事実17: もしあの螻蛄がたどたどしくないならばそれは名称変更するけれど傾げない
事実18: あの国債市場は華々しくない一方でひ弱い
事実19: この小中高は蒸し風呂だ
事実20: あのイタ飯はたどたどしくない
事実21: あの国債市場はたどたどしい

仮説: この小中高は口述する
1. 仮定1: 以下のように仮定する。この小中高は口述する
2. 事実6と仮定1から、推論1: "あの国債市場は上げ易い"が導かれる
3. 事実13から、推論2: "あの国債市場は上げ易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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