あの積分定理はまわない
fact1: 仮にとある物が海岸通りでないとすればそれは手厳しくない fact2: なにがしかの物が海岸通りでないならば時点であるかもしくは手厳しくないかあるいは両方ともだ fact3: あの中断はざらざらするということはない fact4: 仮に「あの積分定理は時点でない」ということは成り立てば手厳しくないしまわない fact5: あの中断は時点だということはない fact6: もしもとあるものは三十年代でないならば心強くなくて加えて海岸通りであるということはない fact7: もし仮に何かは時点でないし手厳しくないとすると海岸通りでない fact8: 仮に「あの中断は時点である」ということは確かだとすればあの積分定理は時点だ fact9: あの中断は海岸通りでない fact10: もし仮にあの中断が手厳しくないとしたらあの積分定理は時点である fact11: あの積分定理は手厳しくない fact12: 仮にあの中断が時点でないとしたらあの積分定理は海岸通りであるということはない fact13: 何かは海岸通りでないとしたらまわないし加えてそれは手厳しくない
fact12 & fact5 -> int1: あの積分定理は海岸通りでない; fact13 -> int2: もしもあの積分定理は海岸通りでないならそれはまわないしさらに手厳しくない; int1 & int2 -> int3: あの積分定理はまわないし加えてそれは手厳しくない; int3 -> hypothesis;
fact12 & fact5 -> int1: ¬{B}{b}; fact13 -> int2: ¬{B}{b} -> (¬{D}{b} & ¬{C}{b}); int1 & int2 -> int3: (¬{D}{b} & ¬{C}{b}); int3 -> hypothesis;
あの積分定理はまう
fact14 -> int4: もし仮にあの護摩壇が三十年代だということはないならそれは心強くないしさらに海岸通りでない; fact16 -> int5: あの中断は海岸通りでないとしたら時点であるか手厳しくない;
$facts$ = fact1: 仮にとある物が海岸通りでないとすればそれは手厳しくない fact2: なにがしかの物が海岸通りでないならば時点であるかもしくは手厳しくないかあるいは両方ともだ fact3: あの中断はざらざらするということはない fact4: 仮に「あの積分定理は時点でない」ということは成り立てば手厳しくないしまわない fact5: あの中断は時点だということはない fact6: もしもとあるものは三十年代でないならば心強くなくて加えて海岸通りであるということはない fact7: もし仮に何かは時点でないし手厳しくないとすると海岸通りでない fact8: 仮に「あの中断は時点である」ということは確かだとすればあの積分定理は時点だ fact9: あの中断は海岸通りでない fact10: もし仮にあの中断が手厳しくないとしたらあの積分定理は時点である fact11: あの積分定理は手厳しくない fact12: 仮にあの中断が時点でないとしたらあの積分定理は海岸通りであるということはない fact13: 何かは海岸通りでないとしたらまわないし加えてそれは手厳しくない ; $hypothesis$ = あの積分定理はまわない ; $proof$ = 
fact12 & fact5 -> int1: あの積分定理は海岸通りでない; fact13 -> int2: もしもあの積分定理は海岸通りでないならそれはまわないしさらに手厳しくない; int1 & int2 -> int3: あの積分定理はまわないし加えてそれは手厳しくない; int3 -> hypothesis; __PROVED__
事実1: 仮にとある物が海岸通りでないとすればそれは手厳しくない
事実2: なにがしかの物が海岸通りでないならば時点であるかもしくは手厳しくないかあるいは両方ともだ
事実3: あの中断はざらざらするということはない
事実4: 仮に「あの積分定理は時点でない」ということは成り立てば手厳しくないしまわない
事実5: あの中断は時点だということはない
事実6: もしもとあるものは三十年代でないならば心強くなくて加えて海岸通りであるということはない
事実7: もし仮に何かは時点でないし手厳しくないとすると海岸通りでない
事実8: 仮に「あの中断は時点である」ということは確かだとすればあの積分定理は時点だ
事実9: あの中断は海岸通りでない
事実10: もし仮にあの中断が手厳しくないとしたらあの積分定理は時点である
事実11: あの積分定理は手厳しくない
事実12: 仮にあの中断が時点でないとしたらあの積分定理は海岸通りであるということはない
事実13: 何かは海岸通りでないとしたらまわないし加えてそれは手厳しくない

仮説: あの積分定理はまわない
1. 事実12と事実5から、推論1: "あの積分定理は海岸通りでない"が導かれる
2. 事実13から、推論2: "もしもあの積分定理は海岸通りでないならそれはまわないしさらに手厳しくない"が導かれる
3. 推論1と推論2から、推論3: "あの積分定理はまわないし加えてそれは手厳しくない"が導かれる
4. 推論3から、仮説が導かれる

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