その通知・催告は三分一カップである
fact1: 「その通知・催告は怪我するしおまけに行かする」ということは間違っているならそれは行かしない fact2: もしもなにがしかのものが破顔するとすると分以上だということはない fact3: 仮に何らかのものは行かしないならば李師兄で加えて破顔する fact4: その捕鯨は分以上だ fact5: その召喚は明日でない fact6: もしもその召喚が敬わないけれど明日だとすると「破顔するということはない」ということは誤りであるということはない fact7: その通知・催告は力Ｆでないし敬わない fact8: もしもなんらかの物は分以上でないとすると使用割合でなくてそれにメールしない fact9: この頚椎は破顔しないしその上見晴らさない fact10: もし仮にその召喚が破顔しないとしたらその通知・催告は三分一カップである fact11: もし仮にその召喚が敬わないし加えて明日でないとすると「破顔しない」ということは確かだ fact12: もしその捕鯨が分以上ならその召喚が敬わないしさらに明日でない fact13: なにかは分以上であるということはないかもしくはそれが破顔するならそれは三分一カップでない fact14: 仮にその捕鯨が分以上であるならばあの召喚は明日でない fact15: その召喚は三分一カップでなくて明日でない
fact12 & fact4 -> int1: その召喚は敬わないしそれに明日でない; int1 & fact11 -> int2: その召喚は破顔しない; int2 & fact10 -> hypothesis;
fact12 & fact4 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact11 -> int2: ¬{B}{b}; int2 & fact10 -> hypothesis;
その通知・催告は三分一カップでない
fact16 -> int3: もし仮にその通知・催告が分以上でないかまたはそれが破顔すればそれは三分一カップでない; fact17 -> int4: もしもその通知・催告が行かしないならそれは李師兄であるし加えて破顔する;
$facts$ = fact1: 「その通知・催告は怪我するしおまけに行かする」ということは間違っているならそれは行かしない fact2: もしもなにがしかのものが破顔するとすると分以上だということはない fact3: 仮に何らかのものは行かしないならば李師兄で加えて破顔する fact4: その捕鯨は分以上だ fact5: その召喚は明日でない fact6: もしもその召喚が敬わないけれど明日だとすると「破顔するということはない」ということは誤りであるということはない fact7: その通知・催告は力Ｆでないし敬わない fact8: もしもなんらかの物は分以上でないとすると使用割合でなくてそれにメールしない fact9: この頚椎は破顔しないしその上見晴らさない fact10: もし仮にその召喚が破顔しないとしたらその通知・催告は三分一カップである fact11: もし仮にその召喚が敬わないし加えて明日でないとすると「破顔しない」ということは確かだ fact12: もしその捕鯨が分以上ならその召喚が敬わないしさらに明日でない fact13: なにかは分以上であるということはないかもしくはそれが破顔するならそれは三分一カップでない fact14: 仮にその捕鯨が分以上であるならばあの召喚は明日でない fact15: その召喚は三分一カップでなくて明日でない ; $hypothesis$ = その通知・催告は三分一カップである ; $proof$ = 
fact12 & fact4 -> int1: その召喚は敬わないしそれに明日でない; int1 & fact11 -> int2: その召喚は破顔しない; int2 & fact10 -> hypothesis; __PROVED__
事実1: 「その通知・催告は怪我するしおまけに行かする」ということは間違っているならそれは行かしない
事実2: もしもなにがしかのものが破顔するとすると分以上だということはない
事実3: 仮に何らかのものは行かしないならば李師兄で加えて破顔する
事実4: その捕鯨は分以上だ
事実5: その召喚は明日でない
事実6: もしもその召喚が敬わないけれど明日だとすると「破顔するということはない」ということは誤りであるということはない
事実7: その通知・催告は力Ｆでないし敬わない
事実8: もしもなんらかの物は分以上でないとすると使用割合でなくてそれにメールしない
事実9: この頚椎は破顔しないしその上見晴らさない
事実10: もし仮にその召喚が破顔しないとしたらその通知・催告は三分一カップである
事実11: もし仮にその召喚が敬わないし加えて明日でないとすると「破顔しない」ということは確かだ
事実12: もしその捕鯨が分以上ならその召喚が敬わないしさらに明日でない
事実13: なにかは分以上であるということはないかもしくはそれが破顔するならそれは三分一カップでない
事実14: 仮にその捕鯨が分以上であるならばあの召喚は明日でない
事実15: その召喚は三分一カップでなくて明日でない

仮説: その通知・催告は三分一カップである
1. 事実12と事実4から、推論1: "その召喚は敬わないしそれに明日でない"が導かれる
2. 推論1と事実11から、推論2: "その召喚は破顔しない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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