その軍拡競争は悪しいかもしくはそれはすっごーい
fact1: もしも「何らかの物は低周波でない」ということは本当ならばすっごーくない fact2: もしもこの赤枠がすっごーくないならその軍拡競争は悪しいかまたはそれはすっごーい fact3: 「その料金徴収設備は肌寒くない」ということは嘘でない fact4: この赤枠は倹しいということはないけれど低周波だ fact5: その軍拡競争は政治犯だ fact6: もしもその軍拡競争が肌寒いとすると低周波でなくてそれは倹しいということはない fact7: もしその料金徴収設備は肌寒いということはないなら「このレディーは悪しいしおまけに低周波だ」ということは偽である fact8: なんらかのものが倹しかないとするとそれはすっごーいということはない fact9: 「遣り難いものは肌寒い」ということは成り立つ
fact8 -> int1: 仮にこの赤枠が倹しかないとすればすっごーくない; fact4 -> int2: この赤枠は倹しいということはない; int1 & int2 -> int3: この赤枠はすっごーくない; int3 & fact2 -> hypothesis;
fact8 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact4 -> int2: ¬{B}{aa}; int1 & int2 -> int3: ¬{C}{aa}; int3 & fact2 -> hypothesis;
「その軍拡競争は悪しいかあるいはすっごーいかもしくはどちらもだ」ということは成り立たない
fact11 -> int4: もしもその軍拡競争が遣り難いなら肌寒い;
$facts$ = fact1: もしも「何らかの物は低周波でない」ということは本当ならばすっごーくない fact2: もしもこの赤枠がすっごーくないならその軍拡競争は悪しいかまたはそれはすっごーい fact3: 「その料金徴収設備は肌寒くない」ということは嘘でない fact4: この赤枠は倹しいということはないけれど低周波だ fact5: その軍拡競争は政治犯だ fact6: もしもその軍拡競争が肌寒いとすると低周波でなくてそれは倹しいということはない fact7: もしその料金徴収設備は肌寒いということはないなら「このレディーは悪しいしおまけに低周波だ」ということは偽である fact8: なんらかのものが倹しかないとするとそれはすっごーいということはない fact9: 「遣り難いものは肌寒い」ということは成り立つ ; $hypothesis$ = その軍拡競争は悪しいかもしくはそれはすっごーい ; $proof$ = 
fact8 -> int1: 仮にこの赤枠が倹しかないとすればすっごーくない; fact4 -> int2: この赤枠は倹しいということはない; int1 & int2 -> int3: この赤枠はすっごーくない; int3 & fact2 -> hypothesis; __PROVED__
事実1: もしも「何らかの物は低周波でない」ということは本当ならばすっごーくない
事実2: もしもこの赤枠がすっごーくないならその軍拡競争は悪しいかまたはそれはすっごーい
事実3: 「その料金徴収設備は肌寒くない」ということは嘘でない
事実4: この赤枠は倹しいということはないけれど低周波だ
事実5: その軍拡競争は政治犯だ
事実6: もしもその軍拡競争が肌寒いとすると低周波でなくてそれは倹しいということはない
事実7: もしその料金徴収設備は肌寒いということはないなら「このレディーは悪しいしおまけに低周波だ」ということは偽である
事実8: なんらかのものが倹しかないとするとそれはすっごーいということはない
事実9: 「遣り難いものは肌寒い」ということは成り立つ

仮説: その軍拡競争は悪しいかもしくはそれはすっごーい
1. 事実8から、推論1: "仮にこの赤枠が倹しかないとすればすっごーくない"が導かれる
2. 事実4から、推論2: "この赤枠は倹しいということはない"が導かれる
3. 推論1と推論2から、推論3: "この赤枠はすっごーくない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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