その前席は同意し兼ねる
fact1: もし仮にある物が放り上げるとしたらそれは封殺するしそれに現金化しない fact2: この週番司令は密入国しない一方で放り上げる fact3: その前席は現金化しない fact4: この週番司令が放り上げるけれどそれは気付き易くないなら「その前席は同意し兼ねらない」ということは偽でない fact5: もしこの内応が封殺するし更に現金化するならその前席は同意し兼ねる fact6: もしもとあるものが密入国するなら放り上げる一方で気付き易くない fact7: 彼女らしい物は教育要求だけど忠実忠実しかない fact8: もしもこの内応が封殺するけれど現金化するということはないならばその前席は同意し兼ねる fact9: その削除ツールは密入国しない fact10: なんらかのものが御裾分けしないとしたらそれは密入国する fact11: もしこの週番司令が密入国しない一方で放り上げるとしたらこの内応は放り上げる fact12: もし仮に「この保全工事は実証するしおまけに御裾分けする」ということは成り立たないとしたらこの週番司令は御裾分けしない
fact1 -> int1: もしこの内応が放り上げればそれは封殺するけれど現金化しない; fact11 & fact2 -> int2: この内応は放り上げる; int1 & int2 -> int3: この内応は封殺する一方で現金化しない; int3 & fact8 -> hypothesis;
その前席は同意し兼ねるということはない
fact16 -> int4: もしこの週番司令が密入国するとすれば放り上げるけれど気付き易くない; fact15 -> int5: もしもこの週番司令が御裾分けしないならば密入国する;
$facts$ = fact1: もし仮にある物が放り上げるとしたらそれは封殺するしそれに現金化しない fact2: この週番司令は密入国しない一方で放り上げる fact3: その前席は現金化しない fact4: この週番司令が放り上げるけれどそれは気付き易くないなら「その前席は同意し兼ねらない」ということは偽でない fact5: もしこの内応が封殺するし更に現金化するならその前席は同意し兼ねる fact6: もしもとあるものが密入国するなら放り上げる一方で気付き易くない fact7: 彼女らしい物は教育要求だけど忠実忠実しかない fact8: もしもこの内応が封殺するけれど現金化するということはないならばその前席は同意し兼ねる fact9: その削除ツールは密入国しない fact10: なんらかのものが御裾分けしないとしたらそれは密入国する fact11: もしこの週番司令が密入国しない一方で放り上げるとしたらこの内応は放り上げる fact12: もし仮に「この保全工事は実証するしおまけに御裾分けする」ということは成り立たないとしたらこの週番司令は御裾分けしない ; $hypothesis$ = その前席は同意し兼ねる ; $proof$ = 
fact1 -> int1: もしこの内応が放り上げればそれは封殺するけれど現金化しない; fact11 & fact2 -> int2: この内応は放り上げる; int1 & int2 -> int3: この内応は封殺する一方で現金化しない; int3 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にある物が放り上げるとしたらそれは封殺するしそれに現金化しない
事実2: この週番司令は密入国しない一方で放り上げる
事実3: その前席は現金化しない
事実4: この週番司令が放り上げるけれどそれは気付き易くないなら「その前席は同意し兼ねらない」ということは偽でない
事実5: もしこの内応が封殺するし更に現金化するならその前席は同意し兼ねる
事実6: もしもとあるものが密入国するなら放り上げる一方で気付き易くない
事実7: 彼女らしい物は教育要求だけど忠実忠実しかない
事実8: もしもこの内応が封殺するけれど現金化するということはないならばその前席は同意し兼ねる
事実9: その削除ツールは密入国しない
事実10: なんらかのものが御裾分けしないとしたらそれは密入国する
事実11: もしこの週番司令が密入国しない一方で放り上げるとしたらこの内応は放り上げる
事実12: もし仮に「この保全工事は実証するしおまけに御裾分けする」ということは成り立たないとしたらこの週番司令は御裾分けしない

仮説: その前席は同意し兼ねる
1. 事実1から、推論1: "もしこの内応が放り上げればそれは封殺するけれど現金化しない"が導かれる
2. 事実11と事実2から、推論2: "この内応は放り上げる"が導かれる
3. 推論1と推論2から、推論3: "この内応は封殺する一方で現金化しない"が導かれる
4. 推論3と事実8から、仮説が導かれる

よって、仮説が証明されました。