「もし「焼き直すししかも息苦しいということはない」ということは偽だとすれば「仕舞い易くない」ということは間違いだということはない」物はある
fact1: もし「あの球菌は寄する一方で御猪口だということはない」ということは間違いなら息苦しい fact2: もし「なにかは唐尺であるしまた問診する」ということは成り立たないとするとそれは幸せ一杯でない fact3: もしも「何かは焼き直すけれどそれは息苦しくない」ということは偽であるとしたら仕舞い易くない fact4: もし仮に「とある物は自閉性障害児だし更に躁病相だ」ということは間違っているとすれば限らない fact5: 彼女らしいということはない物は夏服でない fact6: もし何かは腫瘍内でないとするとそれは見極め難いということはない fact7: 「その対価関係はセカンドステップであるけどそれは遺留分請求でない」ということは成り立たないとしたら剥奪する
fact3 -> int1: もし「あの球菌は焼き直すけど息苦しいということはない」ということは成り立たないなら仕舞い易くない; int1 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし「あの球菌は寄する一方で御猪口だということはない」ということは間違いなら息苦しい fact2: もし「なにかは唐尺であるしまた問診する」ということは成り立たないとするとそれは幸せ一杯でない fact3: もしも「何かは焼き直すけれどそれは息苦しくない」ということは偽であるとしたら仕舞い易くない fact4: もし仮に「とある物は自閉性障害児だし更に躁病相だ」ということは間違っているとすれば限らない fact5: 彼女らしいということはない物は夏服でない fact6: もし何かは腫瘍内でないとするとそれは見極め難いということはない fact7: 「その対価関係はセカンドステップであるけどそれは遺留分請求でない」ということは成り立たないとしたら剥奪する ; $hypothesis$ = 「もし「焼き直すししかも息苦しいということはない」ということは偽だとすれば「仕舞い易くない」ということは間違いだということはない」物はある ; $proof$ = 
fact3 -> int1: もし「あの球菌は焼き直すけど息苦しいということはない」ということは成り立たないなら仕舞い易くない; int1 -> hypothesis; __PROVED__
事実1: もし「あの球菌は寄する一方で御猪口だということはない」ということは間違いなら息苦しい
事実2: もし「なにかは唐尺であるしまた問診する」ということは成り立たないとするとそれは幸せ一杯でない
事実3: もしも「何かは焼き直すけれどそれは息苦しくない」ということは偽であるとしたら仕舞い易くない
事実4: もし仮に「とある物は自閉性障害児だし更に躁病相だ」ということは間違っているとすれば限らない
事実5: 彼女らしいということはない物は夏服でない
事実6: もし何かは腫瘍内でないとするとそれは見極め難いということはない
事実7: 「その対価関係はセカンドステップであるけどそれは遺留分請求でない」ということは成り立たないとしたら剥奪する

仮説: 「もし「焼き直すししかも息苦しいということはない」ということは偽だとすれば「仕舞い易くない」ということは間違いだということはない」物はある
1. 事実3から、推論1: "もし「あの球菌は焼き直すけど息苦しいということはない」ということは成り立たないなら仕舞い易くない"が導かれる
2. 推論1から、仮説が導かれる

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