その虫具は仕立て直す
fact1: 仮に何かは一箇所当たりであるかまたは広げないかもしくはどちらもだとするとその虫具は仕立て直さない fact2: 「戻し易いか巡らすかあるいは両方ともである」物はある fact3: あの申し出は一箇所当たりであるかあるいは調理器具であるか両方だ fact4: なんらかの物は仕立て直すかもしくはそれは広げない fact5: あのルーメン微生物叢は広げない fact6: もし仮に「何らかの物はすっごい一方で広げない」ということは確かでないとしたら広げる fact7: あの昼食は広げない fact8: あの昼食は仕立て直すとしたら「その虫具は仕立て直す」ということは確かである
fact7 -> int1: あの昼食は一箇所当たりであるか広げない; int1 -> int2: あるものは一箇所当たりであるかあるいは広げるということはないかまたは両方ともである; int2 & fact1 -> hypothesis;
fact7 -> int1: ({A}{a} v ¬{B}{a}); int1 -> int2: (Ex): ({A}x v ¬{B}x); int2 & fact1 -> hypothesis;
その虫具は仕立て直す
fact10 -> int3: もし「この防黴剤はすっごいがしかし広げない」ということは成り立たないとしたらそれは広げる;
$facts$ = fact1: 仮に何かは一箇所当たりであるかまたは広げないかもしくはどちらもだとするとその虫具は仕立て直さない fact2: 「戻し易いか巡らすかあるいは両方ともである」物はある fact3: あの申し出は一箇所当たりであるかあるいは調理器具であるか両方だ fact4: なんらかの物は仕立て直すかもしくはそれは広げない fact5: あのルーメン微生物叢は広げない fact6: もし仮に「何らかの物はすっごい一方で広げない」ということは確かでないとしたら広げる fact7: あの昼食は広げない fact8: あの昼食は仕立て直すとしたら「その虫具は仕立て直す」ということは確かである ; $hypothesis$ = その虫具は仕立て直す ; $proof$ = 
fact7 -> int1: あの昼食は一箇所当たりであるか広げない; int1 -> int2: あるものは一箇所当たりであるかあるいは広げるということはないかまたは両方ともである; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に何かは一箇所当たりであるかまたは広げないかもしくはどちらもだとするとその虫具は仕立て直さない
事実2: 「戻し易いか巡らすかあるいは両方ともである」物はある
事実3: あの申し出は一箇所当たりであるかあるいは調理器具であるか両方だ
事実4: なんらかの物は仕立て直すかもしくはそれは広げない
事実5: あのルーメン微生物叢は広げない
事実6: もし仮に「何らかの物はすっごい一方で広げない」ということは確かでないとしたら広げる
事実7: あの昼食は広げない
事実8: あの昼食は仕立て直すとしたら「その虫具は仕立て直す」ということは確かである

仮説: その虫具は仕立て直す
1. 事実7から、推論1: "あの昼食は一箇所当たりであるか広げない"が導かれる
2. 推論1から、推論2: "あるものは一箇所当たりであるかあるいは広げるということはないかまたは両方ともである"が導かれる
3. 推論2と事実1から、仮説が否定される

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