「仮に包摂しなくておまけに政務院でないとすれば来難くない」ものはある
fact1: もしもあの五大費目は熱し易い一方で政務院でないとすれば温床だということはない fact2: もしこの調教者が規矩だ一方でそれが馬鹿らしくないならば来難くない fact3: もしも何かは包摂しなくて更に政務院だということはないとするとそれは来難くない fact4: 「仮に拒否出来ないし加えて著作でないなら写す」ものはある fact5: 「もし仮に環状列石でないけど起こり難いとしたら娘らしくない」物はある fact6: もしとある物が投げ上げなくてその上悟らさないならばそれは破れ難くない
fact3 -> int1: あの五大費目は包摂しないししかも政務院でないならそれは来難いということはない; int1 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしもあの五大費目は熱し易い一方で政務院でないとすれば温床だということはない fact2: もしこの調教者が規矩だ一方でそれが馬鹿らしくないならば来難くない fact3: もしも何かは包摂しなくて更に政務院だということはないとするとそれは来難くない fact4: 「仮に拒否出来ないし加えて著作でないなら写す」ものはある fact5: 「もし仮に環状列石でないけど起こり難いとしたら娘らしくない」物はある fact6: もしとある物が投げ上げなくてその上悟らさないならばそれは破れ難くない ; $hypothesis$ = 「仮に包摂しなくておまけに政務院でないとすれば来難くない」ものはある ; $proof$ = 
fact3 -> int1: あの五大費目は包摂しないししかも政務院でないならそれは来難いということはない; int1 -> hypothesis; __PROVED__
事実1: もしもあの五大費目は熱し易い一方で政務院でないとすれば温床だということはない
事実2: もしこの調教者が規矩だ一方でそれが馬鹿らしくないならば来難くない
事実3: もしも何かは包摂しなくて更に政務院だということはないとするとそれは来難くない
事実4: 「仮に拒否出来ないし加えて著作でないなら写す」ものはある
事実5: 「もし仮に環状列石でないけど起こり難いとしたら娘らしくない」物はある
事実6: もしとある物が投げ上げなくてその上悟らさないならばそれは破れ難くない

仮説: 「仮に包摂しなくておまけに政務院でないとすれば来難くない」ものはある
1. 事実3から、推論1: "あの五大費目は包摂しないししかも政務院でないならそれは来難いということはない"が導かれる
2. 推論1から、仮説が導かれる

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