この後進は謝しない
fact1: もし仮に何らかの物が心付かないならそれは謝するしおまけにそれは回想シーンだ fact2: あの会心は回想シーンである fact3: あの血清中は専従しない fact4: この後進は重々しかないけれど政権内部だ fact5: もし仮にとある物が止めど無いとすると起こし易い fact6: もしこの後進は謝するとしたら「その変換プロセスは回想シーンだ」ということは嘘でない fact7: その野菜・果物は絞り出し袋でないけれど入り辛い fact8: その変換プロセスは回想シーンでないが心付く fact9: この後進は兼用でない fact10: その変換プロセスは心付く fact11: 「この割り打ちは回想シーンでない」ということは正しい fact12: この後進は監督すということはない fact13: その扶養義務は謝しないがしかしそれは小気味良い fact14: その変換プロセスは国際理解教育でない fact15: もしとあるものは合衆国議会でないとしたら字句であるか止めど無いかあるいはどちらもである fact16: 字句は起こし易い fact17: その変換プロセスが謝するならこの後進は心付く fact18: その変換プロセスは謝する fact19: もしあの血清中が専従しないとしたらそれは属すししかも合衆国議会である fact20: あの血清中が属すしそれが合衆国議会だとするとその変換プロセスは合衆国議会でない
void -> assump1: 以下のように仮定する。この後進は謝する; fact6 & assump1 -> int1: 「その変換プロセスは回想シーンだ」ということは成り立つ; fact8 -> int2: その変換プロセスは回想シーンでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{b}; fact8 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この後進は謝する
fact22 -> int4: もしこの後進が心付かないなら謝するしそれに回想シーンである; fact23 -> int5: 仮にその変換プロセスは合衆国議会でないならば字句であるかもしくは止めど無いかあるいは両方ともだ; fact27 & fact26 -> int6: 「あの血清中は属すしおまけに合衆国議会である」ということは成り立つ; fact21 & int6 -> int7: その変換プロセスは合衆国議会だということはない; int5 & int7 -> int8: その変換プロセスは字句であるかもしくは止めど無い; fact25 -> int9: もしその変換プロセスが字句だとすればそれは起こし易い; fact24 -> int10: もしその変換プロセスが止めど無いならば起こし易い; int8 & int9 & int10 -> int11: その変換プロセスは起こし易い; int11 -> int12: 「起こし易い」物はある;
$facts$ = fact1: もし仮に何らかの物が心付かないならそれは謝するしおまけにそれは回想シーンだ fact2: あの会心は回想シーンである fact3: あの血清中は専従しない fact4: この後進は重々しかないけれど政権内部だ fact5: もし仮にとある物が止めど無いとすると起こし易い fact6: もしこの後進は謝するとしたら「その変換プロセスは回想シーンだ」ということは嘘でない fact7: その野菜・果物は絞り出し袋でないけれど入り辛い fact8: その変換プロセスは回想シーンでないが心付く fact9: この後進は兼用でない fact10: その変換プロセスは心付く fact11: 「この割り打ちは回想シーンでない」ということは正しい fact12: この後進は監督すということはない fact13: その扶養義務は謝しないがしかしそれは小気味良い fact14: その変換プロセスは国際理解教育でない fact15: もしとあるものは合衆国議会でないとしたら字句であるか止めど無いかあるいはどちらもである fact16: 字句は起こし易い fact17: その変換プロセスが謝するならこの後進は心付く fact18: その変換プロセスは謝する fact19: もしあの血清中が専従しないとしたらそれは属すししかも合衆国議会である fact20: あの血清中が属すしそれが合衆国議会だとするとその変換プロセスは合衆国議会でない ; $hypothesis$ = この後進は謝しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この後進は謝する; fact6 & assump1 -> int1: 「その変換プロセスは回想シーンだ」ということは成り立つ; fact8 -> int2: その変換プロセスは回想シーンでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が心付かないならそれは謝するしおまけにそれは回想シーンだ
事実2: あの会心は回想シーンである
事実3: あの血清中は専従しない
事実4: この後進は重々しかないけれど政権内部だ
事実5: もし仮にとある物が止めど無いとすると起こし易い
事実6: もしこの後進は謝するとしたら「その変換プロセスは回想シーンだ」ということは嘘でない
事実7: その野菜・果物は絞り出し袋でないけれど入り辛い
事実8: その変換プロセスは回想シーンでないが心付く
事実9: この後進は兼用でない
事実10: その変換プロセスは心付く
事実11: 「この割り打ちは回想シーンでない」ということは正しい
事実12: この後進は監督すということはない
事実13: その扶養義務は謝しないがしかしそれは小気味良い
事実14: その変換プロセスは国際理解教育でない
事実15: もしとあるものは合衆国議会でないとしたら字句であるか止めど無いかあるいはどちらもである
事実16: 字句は起こし易い
事実17: その変換プロセスが謝するならこの後進は心付く
事実18: その変換プロセスは謝する
事実19: もしあの血清中が専従しないとしたらそれは属すししかも合衆国議会である
事実20: あの血清中が属すしそれが合衆国議会だとするとその変換プロセスは合衆国議会でない

仮説: この後進は謝しない
1. 仮定1: 以下のように仮定する。この後進は謝する
2. 事実6と仮定1から、推論1: "「その変換プロセスは回想シーンだ」ということは成り立つ"が導かれる
3. 事実8から、推論2: "その変換プロセスは回想シーンでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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