このギアチェンジは余儀無いということはない
fact1: それは栗でなくてそれは心弱くないという物はない fact2: 「このギアチェンジはコンプライアンス統括部署だということはないしそれに余儀無くない」ということは成り立たないとするとあの三学円太刀は来し易くない fact3: あの三学円太刀は相談し易くない fact4: 仮にそのゴキ験が思しいなら牛耳るということはないししかも余儀無い fact5: 「あの流用は動揺しなくてかつ余儀無いということはない」ということは成り立たない fact6: 「このギアチェンジはコンプライアンス統括部署でなくてまた余儀無くない」ということは間違っている fact7: 再発し易くないしそれに先着しないというものはない fact8: 「あの三学円太刀は余儀無くない」ということは成り立つ fact9: 「あの三学円太刀は来し易いがしかしコンプライアンス統括部署でない」ということは成り立たない fact10: 松代屋でなくてまたタイムアウトでないというものはない fact11: それは来し易いということはなくてまたそれはコンプライアンス統括部署だということはないというものはない fact12: もし仮に「あの三学円太刀はコンプライアンス統括部署だということはないし更に余儀無くない」ということは成り立たないとするとこのギアチェンジは来し易くない fact13: もしも「あの三学円太刀は来し易くないしコンプライアンス統括部署でない」ということは偽だとすればこのギアチェンジは余儀無くない fact14: 「それは来し易くてそれはコンプライアンス統括部署だということはない」ということは成り立つというものはない fact15: もし仮に「あの三学円太刀は余儀無くなくておまけにコンプライアンス統括部署であるということはない」ということは誤りだとすればこのギアチェンジは来し易くない fact16: このギアチェンジは来し易くない fact17: 「このギアチェンジは余儀無くないしコンプライアンス統括部署でない」ということは成り立たない fact18: 仮にあの三学円太刀が来し易いとするとこのギアチェンジは余儀無くない
fact11 -> int1: 「あの三学円太刀は来し易くないしそれにコンプライアンス統括部署でない」ということは成り立たない; int1 & fact13 -> hypothesis;
fact11 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact13 -> hypothesis;
そのゴキ験は牛耳るということはない
$facts$ = fact1: それは栗でなくてそれは心弱くないという物はない fact2: 「このギアチェンジはコンプライアンス統括部署だということはないしそれに余儀無くない」ということは成り立たないとするとあの三学円太刀は来し易くない fact3: あの三学円太刀は相談し易くない fact4: 仮にそのゴキ験が思しいなら牛耳るということはないししかも余儀無い fact5: 「あの流用は動揺しなくてかつ余儀無いということはない」ということは成り立たない fact6: 「このギアチェンジはコンプライアンス統括部署でなくてまた余儀無くない」ということは間違っている fact7: 再発し易くないしそれに先着しないというものはない fact8: 「あの三学円太刀は余儀無くない」ということは成り立つ fact9: 「あの三学円太刀は来し易いがしかしコンプライアンス統括部署でない」ということは成り立たない fact10: 松代屋でなくてまたタイムアウトでないというものはない fact11: それは来し易いということはなくてまたそれはコンプライアンス統括部署だということはないというものはない fact12: もし仮に「あの三学円太刀はコンプライアンス統括部署だということはないし更に余儀無くない」ということは成り立たないとするとこのギアチェンジは来し易くない fact13: もしも「あの三学円太刀は来し易くないしコンプライアンス統括部署でない」ということは偽だとすればこのギアチェンジは余儀無くない fact14: 「それは来し易くてそれはコンプライアンス統括部署だということはない」ということは成り立つというものはない fact15: もし仮に「あの三学円太刀は余儀無くなくておまけにコンプライアンス統括部署であるということはない」ということは誤りだとすればこのギアチェンジは来し易くない fact16: このギアチェンジは来し易くない fact17: 「このギアチェンジは余儀無くないしコンプライアンス統括部署でない」ということは成り立たない fact18: 仮にあの三学円太刀が来し易いとするとこのギアチェンジは余儀無くない ; $hypothesis$ = このギアチェンジは余儀無いということはない ; $proof$ = 
fact11 -> int1: 「あの三学円太刀は来し易くないしそれにコンプライアンス統括部署でない」ということは成り立たない; int1 & fact13 -> hypothesis; __PROVED__
事実1: それは栗でなくてそれは心弱くないという物はない
事実2: 「このギアチェンジはコンプライアンス統括部署だということはないしそれに余儀無くない」ということは成り立たないとするとあの三学円太刀は来し易くない
事実3: あの三学円太刀は相談し易くない
事実4: 仮にそのゴキ験が思しいなら牛耳るということはないししかも余儀無い
事実5: 「あの流用は動揺しなくてかつ余儀無いということはない」ということは成り立たない
事実6: 「このギアチェンジはコンプライアンス統括部署でなくてまた余儀無くない」ということは間違っている
事実7: 再発し易くないしそれに先着しないというものはない
事実8: 「あの三学円太刀は余儀無くない」ということは成り立つ
事実9: 「あの三学円太刀は来し易いがしかしコンプライアンス統括部署でない」ということは成り立たない
事実10: 松代屋でなくてまたタイムアウトでないというものはない
事実11: それは来し易いということはなくてまたそれはコンプライアンス統括部署だということはないというものはない
事実12: もし仮に「あの三学円太刀はコンプライアンス統括部署だということはないし更に余儀無くない」ということは成り立たないとするとこのギアチェンジは来し易くない
事実13: もしも「あの三学円太刀は来し易くないしコンプライアンス統括部署でない」ということは偽だとすればこのギアチェンジは余儀無くない
事実14: 「それは来し易くてそれはコンプライアンス統括部署だということはない」ということは成り立つというものはない
事実15: もし仮に「あの三学円太刀は余儀無くなくておまけにコンプライアンス統括部署であるということはない」ということは誤りだとすればこのギアチェンジは来し易くない
事実16: このギアチェンジは来し易くない
事実17: 「このギアチェンジは余儀無くないしコンプライアンス統括部署でない」ということは成り立たない
事実18: 仮にあの三学円太刀が来し易いとするとこのギアチェンジは余儀無くない

仮説: このギアチェンジは余儀無いということはない
1. 事実11から、推論1: "「あの三学円太刀は来し易くないしそれにコンプライアンス統括部署でない」ということは成り立たない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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