その期待度は禁止財産でない
fact1: もしもこの公共下水道が禁止財産であるならこの小学校中学年は禁止財産だ fact2: この小学校中学年は禁止財産であるとすると「あの偉さは禁止財産だ」ということは本当だ fact3: あの偉さが禁止財産であるならその期待度は禁止財産だ fact4: このアメリカ人学生は発揮し易いということはない fact5: もしも「とあるものは辛抱強い一方で白布でない」ということは事実と異なるとしたらそれは辛抱強くない fact6: 仮に辛抱強くないものが売り上げ拡大だとしたらそれは禁止財産でない fact7: もしも「この一分は発揮し易いしおまけにそれは課税後だ」ということは誤っているとすればその期待度は禁止財産であるということはない fact8: 辛抱強くないものは禁止財産で売り上げ拡大だ fact9: 何らかの物は烏滸がましいとしたら「辛抱強いが白布でない」ということは成り立つということはない fact10: もし仮にあのポストが烏滸がましいとすればあの公共下水道は烏滸がましい fact11: 仮にこの一分が発揮し易くないならばその期待度は禁止財産だということはない fact12: 「発揮し易くて加えて課税後である」ということは正しいという物はない
fact12 -> int1: 「この一分は発揮し易いしまたそれは課税後だ」ということは間違いである; int1 & fact7 -> hypothesis;
その期待度は禁止財産だ
fact18 -> int2: 仮に「この公共下水道は辛抱強くない」ということは事実ならそれは禁止財産でおまけにそれは売り上げ拡大である; fact13 -> int3: もし仮に「この公共下水道は辛抱強いけど白布でない」ということは事実と異なるとすればそれは辛抱強くない; fact16 -> int4: 仮にこの公共下水道は烏滸がましいとしたら「それは辛抱強いけれど白布でない」ということは間違いだ;
$facts$ = fact1: もしもこの公共下水道が禁止財産であるならこの小学校中学年は禁止財産だ fact2: この小学校中学年は禁止財産であるとすると「あの偉さは禁止財産だ」ということは本当だ fact3: あの偉さが禁止財産であるならその期待度は禁止財産だ fact4: このアメリカ人学生は発揮し易いということはない fact5: もしも「とあるものは辛抱強い一方で白布でない」ということは事実と異なるとしたらそれは辛抱強くない fact6: 仮に辛抱強くないものが売り上げ拡大だとしたらそれは禁止財産でない fact7: もしも「この一分は発揮し易いしおまけにそれは課税後だ」ということは誤っているとすればその期待度は禁止財産であるということはない fact8: 辛抱強くないものは禁止財産で売り上げ拡大だ fact9: 何らかの物は烏滸がましいとしたら「辛抱強いが白布でない」ということは成り立つということはない fact10: もし仮にあのポストが烏滸がましいとすればあの公共下水道は烏滸がましい fact11: 仮にこの一分が発揮し易くないならばその期待度は禁止財産だということはない fact12: 「発揮し易くて加えて課税後である」ということは正しいという物はない ; $hypothesis$ = その期待度は禁止財産でない ; $proof$ = 
fact12 -> int1: 「この一分は発揮し易いしまたそれは課税後だ」ということは間違いである; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしもこの公共下水道が禁止財産であるならこの小学校中学年は禁止財産だ
事実2: この小学校中学年は禁止財産であるとすると「あの偉さは禁止財産だ」ということは本当だ
事実3: あの偉さが禁止財産であるならその期待度は禁止財産だ
事実4: このアメリカ人学生は発揮し易いということはない
事実5: もしも「とあるものは辛抱強い一方で白布でない」ということは事実と異なるとしたらそれは辛抱強くない
事実6: 仮に辛抱強くないものが売り上げ拡大だとしたらそれは禁止財産でない
事実7: もしも「この一分は発揮し易いしおまけにそれは課税後だ」ということは誤っているとすればその期待度は禁止財産であるということはない
事実8: 辛抱強くないものは禁止財産で売り上げ拡大だ
事実9: 何らかの物は烏滸がましいとしたら「辛抱強いが白布でない」ということは成り立つということはない
事実10: もし仮にあのポストが烏滸がましいとすればあの公共下水道は烏滸がましい
事実11: 仮にこの一分が発揮し易くないならばその期待度は禁止財産だということはない
事実12: 「発揮し易くて加えて課税後である」ということは正しいという物はない

仮説: その期待度は禁止財産でない
1. 事実12から、推論1: "「この一分は発揮し易いしまたそれは課税後だ」ということは間違いである"が導かれる
2. 推論1と事実7から、仮説が導かれる

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