この庭弄りは軽ーい
fact1: この庭弄りは高校入試だ fact2: この庭弄りはエロくない fact3: その解体は差し上候う fact4: この庭弄りは停戦合意である fact5: この庭弄りは停戦合意であるしその上差し上候う fact6: この庭弄りは近付き易くて誤用する fact7: もしも何らかの物が席捲するなら奥床しいということはない fact8: とある物が差し上候うならそれは軽ーくない fact9: あの銅スラグは軽ーいし増加し続ける fact10: この飴細工は停戦合意である fact11: もし仮にこの庭弄りが招致するとすればそれは停戦合意でない fact12: もしも「その応用力は差し上候う」ということは確かであるとするとそれは一般口座でない fact13: 「この御嬢さんは差し上候わない」ということは確かである fact14: 仮にその開成所版は同地域内であるとするとそれは県議会でない fact15: この庭弄りがエロいとするとそれは入り難くない fact16: なんらかのものが崩れ去れば予測し難くない fact17: この庭弄りは配給機構であるしその上悪酔いする
fact5 -> int1: この庭弄りは差し上候う; fact8 -> int2: もしこの庭弄りは差し上候えば「軽ーくない」ということは成り立つ; int1 & int2 -> hypothesis;
$facts$ = fact1: この庭弄りは高校入試だ fact2: この庭弄りはエロくない fact3: その解体は差し上候う fact4: この庭弄りは停戦合意である fact5: この庭弄りは停戦合意であるしその上差し上候う fact6: この庭弄りは近付き易くて誤用する fact7: もしも何らかの物が席捲するなら奥床しいということはない fact8: とある物が差し上候うならそれは軽ーくない fact9: あの銅スラグは軽ーいし増加し続ける fact10: この飴細工は停戦合意である fact11: もし仮にこの庭弄りが招致するとすればそれは停戦合意でない fact12: もしも「その応用力は差し上候う」ということは確かであるとするとそれは一般口座でない fact13: 「この御嬢さんは差し上候わない」ということは確かである fact14: 仮にその開成所版は同地域内であるとするとそれは県議会でない fact15: この庭弄りがエロいとするとそれは入り難くない fact16: なんらかのものが崩れ去れば予測し難くない fact17: この庭弄りは配給機構であるしその上悪酔いする ; $hypothesis$ = この庭弄りは軽ーい ; $proof$ = 
fact5 -> int1: この庭弄りは差し上候う; fact8 -> int2: もしこの庭弄りは差し上候えば「軽ーくない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この庭弄りは高校入試だ
事実2: この庭弄りはエロくない
事実3: その解体は差し上候う
事実4: この庭弄りは停戦合意である
事実5: この庭弄りは停戦合意であるしその上差し上候う
事実6: この庭弄りは近付き易くて誤用する
事実7: もしも何らかの物が席捲するなら奥床しいということはない
事実8: とある物が差し上候うならそれは軽ーくない
事実9: あの銅スラグは軽ーいし増加し続ける
事実10: この飴細工は停戦合意である
事実11: もし仮にこの庭弄りが招致するとすればそれは停戦合意でない
事実12: もしも「その応用力は差し上候う」ということは確かであるとするとそれは一般口座でない
事実13: 「この御嬢さんは差し上候わない」ということは確かである
事実14: 仮にその開成所版は同地域内であるとするとそれは県議会でない
事実15: この庭弄りがエロいとするとそれは入り難くない
事実16: なんらかのものが崩れ去れば予測し難くない
事実17: この庭弄りは配給機構であるしその上悪酔いする

仮説: この庭弄りは軽ーい
1. 事実5から、推論1: "この庭弄りは差し上候う"が導かれる
2. 事実8から、推論2: "もしこの庭弄りは差し上候えば「軽ーくない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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