この侵襲性は印刷形式でない
fact1: あの一テモは御悪くない fact2: あのイギリス人はリフォームしない fact3: 仮にあのイギリス人がリフォームしないしそれが御悪くないとするとこの侵襲性は印刷形式であるということはない fact4: もし仮に「あのイギリス人はリフォームする」ということは成り立つとすればこの侵襲性は放熱しない fact5: 仮になんらかのものが放熱しないならばリフォームしないし御悪くない fact6: あのイギリス人は眠くない fact7: 仮にあるものがリフォームしないなら眠くない fact8: あのイギリス人がリフォームするけど御悪くないならばあの侵襲性は印刷形式でない fact9: もし「その別紙は動揺し易いということはないがしかしそれはボード内だ」ということは偽だとしたらこのメモリ上は御悪くない fact10: もし仮に「あのイギリス人は放熱しない」ということは事実と異ならないならそれはリフォームしない fact11: その別紙は不足するということはないしそれは裏返らない fact12: 仮に「とある物は放熱しない」ということは確かであるとしたら「それはリフォームしない」ということは成り立つ fact13: この侵襲性は御悪くない fact14: もしその別紙は不足しないならば「それが動揺し易いということはないしさらにボード内である」ということは間違っている fact15: あのイギリス人は眠くなくてかつ放熱するということはない
fact15 -> int1: あのイギリス人は放熱しない; fact5 -> int2: 「もし仮にあのイギリス人が放熱しないとすればあのイギリス人はリフォームしないし御悪くない」ということは確かである; int1 & int2 -> int3: あのイギリス人はリフォームしないしおまけに御悪くない; int3 & fact3 -> hypothesis;
fact15 -> int1: ¬{B}{a}; fact5 -> int2: ¬{B}{a} -> (¬{C}{a} & ¬{D}{a}); int1 & int2 -> int3: (¬{C}{a} & ¬{D}{a}); int3 & fact3 -> hypothesis;
「この侵襲性は印刷形式だ」ということは確かである
fact19 -> int4: 「その別紙は不足しない」ということは本当だ; fact18 & int4 -> int5: 「その別紙は動揺し易くないけどボード内だ」ということは間違っている; fact17 & int5 -> int6: このメモリ上は御悪くない; int6 -> int7: 「御悪くない」物はある;
$facts$ = fact1: あの一テモは御悪くない fact2: あのイギリス人はリフォームしない fact3: 仮にあのイギリス人がリフォームしないしそれが御悪くないとするとこの侵襲性は印刷形式であるということはない fact4: もし仮に「あのイギリス人はリフォームする」ということは成り立つとすればこの侵襲性は放熱しない fact5: 仮になんらかのものが放熱しないならばリフォームしないし御悪くない fact6: あのイギリス人は眠くない fact7: 仮にあるものがリフォームしないなら眠くない fact8: あのイギリス人がリフォームするけど御悪くないならばあの侵襲性は印刷形式でない fact9: もし「その別紙は動揺し易いということはないがしかしそれはボード内だ」ということは偽だとしたらこのメモリ上は御悪くない fact10: もし仮に「あのイギリス人は放熱しない」ということは事実と異ならないならそれはリフォームしない fact11: その別紙は不足するということはないしそれは裏返らない fact12: 仮に「とある物は放熱しない」ということは確かであるとしたら「それはリフォームしない」ということは成り立つ fact13: この侵襲性は御悪くない fact14: もしその別紙は不足しないならば「それが動揺し易いということはないしさらにボード内である」ということは間違っている fact15: あのイギリス人は眠くなくてかつ放熱するということはない ; $hypothesis$ = この侵襲性は印刷形式でない ; $proof$ = 
fact15 -> int1: あのイギリス人は放熱しない; fact5 -> int2: 「もし仮にあのイギリス人が放熱しないとすればあのイギリス人はリフォームしないし御悪くない」ということは確かである; int1 & int2 -> int3: あのイギリス人はリフォームしないしおまけに御悪くない; int3 & fact3 -> hypothesis; __PROVED__
事実1: あの一テモは御悪くない
事実2: あのイギリス人はリフォームしない
事実3: 仮にあのイギリス人がリフォームしないしそれが御悪くないとするとこの侵襲性は印刷形式であるということはない
事実4: もし仮に「あのイギリス人はリフォームする」ということは成り立つとすればこの侵襲性は放熱しない
事実5: 仮になんらかのものが放熱しないならばリフォームしないし御悪くない
事実6: あのイギリス人は眠くない
事実7: 仮にあるものがリフォームしないなら眠くない
事実8: あのイギリス人がリフォームするけど御悪くないならばあの侵襲性は印刷形式でない
事実9: もし「その別紙は動揺し易いということはないがしかしそれはボード内だ」ということは偽だとしたらこのメモリ上は御悪くない
事実10: もし仮に「あのイギリス人は放熱しない」ということは事実と異ならないならそれはリフォームしない
事実11: その別紙は不足するということはないしそれは裏返らない
事実12: 仮に「とある物は放熱しない」ということは確かであるとしたら「それはリフォームしない」ということは成り立つ
事実13: この侵襲性は御悪くない
事実14: もしその別紙は不足しないならば「それが動揺し易いということはないしさらにボード内である」ということは間違っている
事実15: あのイギリス人は眠くなくてかつ放熱するということはない

仮説: この侵襲性は印刷形式でない
1. 事実15から、推論1: "あのイギリス人は放熱しない"が導かれる
2. 事実5から、推論2: "「もし仮にあのイギリス人が放熱しないとすればあのイギリス人はリフォームしないし御悪くない」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "あのイギリス人はリフォームしないしおまけに御悪くない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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