「その関わり合いは十三年後でないかもしくはそれは加工し易くないか両方である」ということは成り立たない
fact1: その粗型は内省しないかあるいは噛む fact2: もしその粗型がまだるっこしくないとすればそれは腹部単純Ｘ線写真だ fact3: 「その粗型は噛まなくて如何にもでない」ということは確かでない fact4: 仮に「その粗型は噛むということはないし更に如何にもでない」ということは嘘だとしたらまだるっこしくない fact5: もしも「なんらかの物は御掛からなくてその上艦上戦闘機でない」ということは成り立たないならばそれは加工し易くない fact6: なにかは報復しないとしたら「「腹部単純Ｘ線写真であるししかもそれはまだるっこしいということはない」ということは正しい」ということは成り立たない fact7: 「あの高齢アルコール依存症は加工し易い一方で本膳でない」ということは成り立たない fact8: 「その粗型は最小化するが静止期であるということはない」ということは間違っている fact9: 「その粗型は腹部単純Ｘ線写真である」ということは正しいならその関わり合いは十三年後でない fact10: その関わり合いは加工し易くないかまたは如何にもであるかどちらもである fact11: 「その粗型は噛むけれど加工し易いということはない」ということは偽である fact12: この在籍は逃げ馬だ fact13: その関わり合いはまだるっこしくない fact14: その粗型は十三年後でないかあるいはそれは如何にもでないかまたは両方である fact15: このツ反応検査成績は騒がしくないかもしくは事件解決であるかまたは両方ともだ fact16: もし仮にあの軒掛けが咲き揃えばそれは腹部単純Ｘ線写真でない fact17: 「その粗型は馴染み易くない」ということは成り立つ fact18: この在籍がわりなくないが挿管すればそれは慎み深い fact19: その関わり合いは加工し易いということはないかもしくは外野手でないかどちらもである fact20: 「もし仮に何らかの物は腹部単純Ｘ線写真でないならば「十三年後でないかもしくは加工し易くないかあるいはどちらもだ」ということは間違っている」ということは成り立つ fact21: 逃げ馬はわりなくないけど挿管する
fact4 & fact3 -> int1: その粗型はまだるっこしくない; int1 & fact2 -> int2: その粗型は腹部単純Ｘ線写真である; int2 & fact9 -> int3: その関わり合いは十三年後でない; int3 -> hypothesis;
「その関わり合いは十三年後でないかもしくは加工し易くない」ということは成り立つということはない
fact22 -> int4: もしその関わり合いは腹部単純Ｘ線写真だということはないとしたら「それは十三年後でないかまたは加工し易くないかあるいはどちらもである」ということは成り立たない; fact24 -> int5: その粗型は報復しないとすれば「腹部単純Ｘ線写真だけれどまだるっこしくない」ということは事実と異なる; fact26 -> int6: この在籍が逃げ馬であるならばそれはわりなくないし挿管する; int6 & fact25 -> int7: この在籍はわりないということはない一方で挿管する; fact23 & int7 -> int8: この在籍は慎み深い; int8 -> int9: 「慎み深い」物はある;
$facts$ = fact1: その粗型は内省しないかあるいは噛む fact2: もしその粗型がまだるっこしくないとすればそれは腹部単純Ｘ線写真だ fact3: 「その粗型は噛まなくて如何にもでない」ということは確かでない fact4: 仮に「その粗型は噛むということはないし更に如何にもでない」ということは嘘だとしたらまだるっこしくない fact5: もしも「なんらかの物は御掛からなくてその上艦上戦闘機でない」ということは成り立たないならばそれは加工し易くない fact6: なにかは報復しないとしたら「「腹部単純Ｘ線写真であるししかもそれはまだるっこしいということはない」ということは正しい」ということは成り立たない fact7: 「あの高齢アルコール依存症は加工し易い一方で本膳でない」ということは成り立たない fact8: 「その粗型は最小化するが静止期であるということはない」ということは間違っている fact9: 「その粗型は腹部単純Ｘ線写真である」ということは正しいならその関わり合いは十三年後でない fact10: その関わり合いは加工し易くないかまたは如何にもであるかどちらもである fact11: 「その粗型は噛むけれど加工し易いということはない」ということは偽である fact12: この在籍は逃げ馬だ fact13: その関わり合いはまだるっこしくない fact14: その粗型は十三年後でないかあるいはそれは如何にもでないかまたは両方である fact15: このツ反応検査成績は騒がしくないかもしくは事件解決であるかまたは両方ともだ fact16: もし仮にあの軒掛けが咲き揃えばそれは腹部単純Ｘ線写真でない fact17: 「その粗型は馴染み易くない」ということは成り立つ fact18: この在籍がわりなくないが挿管すればそれは慎み深い fact19: その関わり合いは加工し易いということはないかもしくは外野手でないかどちらもである fact20: 「もし仮に何らかの物は腹部単純Ｘ線写真でないならば「十三年後でないかもしくは加工し易くないかあるいはどちらもだ」ということは間違っている」ということは成り立つ fact21: 逃げ馬はわりなくないけど挿管する ; $hypothesis$ = 「その関わり合いは十三年後でないかもしくはそれは加工し易くないか両方である」ということは成り立たない ; $proof$ = 
fact4 & fact3 -> int1: その粗型はまだるっこしくない; int1 & fact2 -> int2: その粗型は腹部単純Ｘ線写真である; int2 & fact9 -> int3: その関わり合いは十三年後でない; 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. 事実4と事実3から、推論1: "その粗型はまだるっこしくない"が導かれる
2. 推論1と事実2から、推論2: "その粗型は腹部単純Ｘ線写真である"が導かれる
3. 推論2と事実9から、推論3: "その関わり合いは十三年後でない"が導かれる
4. 推論3から、仮説が否定される

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