この勧誘方針は押し込めない
fact1: あの化粧水はがめついということはないが手強い fact2: この作庭僧は傍証しない fact3: もしもなにがしかのものが争覇戦でないがそれは鴇であるとすると押し込めない fact4: あるものが鴇でないけれどそれが傍証すればそれは争覇戦でない fact5: 仮になんらかのものが出産するとすればそれは編纂するしそれは国産材でない fact6: その烏瞰図は傍証しない fact7: もしこの作庭僧が傍証しないとしたらこの勧誘方針は争覇戦でないけど鴇である fact8: もしこの作庭僧が鴇だしさらに傍証するとしたらそれは押し込めない fact9: 「この勧誘方針は鴇だ」ということは本当だ fact10: この勧誘方針は傍証するということはない fact11: なにがしかのものは国産材でないなら「押し込めなくてそれは傍証する」ということは成り立たない fact12: もし仮にこの作庭僧が傍証しないならばあの勧誘方針は鴇である fact13: この勧誘方針はクラス委員であるということはない fact14: もし仮に「ある物は傍証しないかまたはそれは国産材でないかまたは両方ともだ」ということは誤りであるとすると押し込める
fact7 & fact2 -> int1: この勧誘方針は争覇戦でない一方でそれは鴇である; fact3 -> int2: もしもこの勧誘方針が争覇戦でない一方でそれが鴇だとすると押し込めない; int1 & int2 -> hypothesis;
fact7 & fact2 -> int1: (¬{AA}{b} & {AB}{b}); fact3 -> int2: (¬{AA}{b} & {AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
「この勧誘方針は押し込める」ということは本当である
fact15 -> int3: もしも「この勧誘方針は傍証するということはないかもしくは国産材だということはないかどちらもである」ということは間違いだとするとそれは押し込める;
$facts$ = fact1: あの化粧水はがめついということはないが手強い fact2: この作庭僧は傍証しない fact3: もしもなにがしかのものが争覇戦でないがそれは鴇であるとすると押し込めない fact4: あるものが鴇でないけれどそれが傍証すればそれは争覇戦でない fact5: 仮になんらかのものが出産するとすればそれは編纂するしそれは国産材でない fact6: その烏瞰図は傍証しない fact7: もしこの作庭僧が傍証しないとしたらこの勧誘方針は争覇戦でないけど鴇である fact8: もしこの作庭僧が鴇だしさらに傍証するとしたらそれは押し込めない fact9: 「この勧誘方針は鴇だ」ということは本当だ fact10: この勧誘方針は傍証するということはない fact11: なにがしかのものは国産材でないなら「押し込めなくてそれは傍証する」ということは成り立たない fact12: もし仮にこの作庭僧が傍証しないならばあの勧誘方針は鴇である fact13: この勧誘方針はクラス委員であるということはない fact14: もし仮に「ある物は傍証しないかまたはそれは国産材でないかまたは両方ともだ」ということは誤りであるとすると押し込める ; $hypothesis$ = この勧誘方針は押し込めない ; $proof$ = 
fact7 & fact2 -> int1: この勧誘方針は争覇戦でない一方でそれは鴇である; fact3 -> int2: もしもこの勧誘方針が争覇戦でない一方でそれが鴇だとすると押し込めない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの化粧水はがめついということはないが手強い
事実2: この作庭僧は傍証しない
事実3: もしもなにがしかのものが争覇戦でないがそれは鴇であるとすると押し込めない
事実4: あるものが鴇でないけれどそれが傍証すればそれは争覇戦でない
事実5: 仮になんらかのものが出産するとすればそれは編纂するしそれは国産材でない
事実6: その烏瞰図は傍証しない
事実7: もしこの作庭僧が傍証しないとしたらこの勧誘方針は争覇戦でないけど鴇である
事実8: もしこの作庭僧が鴇だしさらに傍証するとしたらそれは押し込めない
事実9: 「この勧誘方針は鴇だ」ということは本当だ
事実10: この勧誘方針は傍証するということはない
事実11: なにがしかのものは国産材でないなら「押し込めなくてそれは傍証する」ということは成り立たない
事実12: もし仮にこの作庭僧が傍証しないならばあの勧誘方針は鴇である
事実13: この勧誘方針はクラス委員であるということはない
事実14: もし仮に「ある物は傍証しないかまたはそれは国産材でないかまたは両方ともだ」ということは誤りであるとすると押し込める

仮説: この勧誘方針は押し込めない
1. 事実7と事実2から、推論1: "この勧誘方針は争覇戦でない一方でそれは鴇である"が導かれる
2. 事実3から、推論2: "もしもこの勧誘方針が争覇戦でない一方でそれが鴇だとすると押し込めない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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