あの各ファイルは攻撃しない
fact1: その俵形は逆上がりでない fact2: 仮に「何かは相談相手であるということはないけれど逆上がりである」ということは正しくないとするとそれは攻撃する fact3: 仮にその少数者は相談相手であるということはないとすると「あの各ファイルは攻撃しない」ということは本当だ fact4: その俵形が逆上がりでないとしたらその少数者は相談相手でない
fact4 & fact1 -> int1: その少数者は相談相手だということはない; int1 & fact3 -> hypothesis;
あの各ファイルは攻撃する
fact5 -> int2: もし「あの各ファイルは相談相手であるということはないけど逆上がりである」ということは成り立たないとすればそれは攻撃する;
$facts$ = fact1: その俵形は逆上がりでない fact2: 仮に「何かは相談相手であるということはないけれど逆上がりである」ということは正しくないとするとそれは攻撃する fact3: 仮にその少数者は相談相手であるということはないとすると「あの各ファイルは攻撃しない」ということは本当だ fact4: その俵形が逆上がりでないとしたらその少数者は相談相手でない ; $hypothesis$ = あの各ファイルは攻撃しない ; $proof$ = 
fact4 & fact1 -> int1: その少数者は相談相手だということはない; int1 & fact3 -> hypothesis; __PROVED__
事実1: その俵形は逆上がりでない
事実2: 仮に「何かは相談相手であるということはないけれど逆上がりである」ということは正しくないとするとそれは攻撃する
事実3: 仮にその少数者は相談相手であるということはないとすると「あの各ファイルは攻撃しない」ということは本当だ
事実4: その俵形が逆上がりでないとしたらその少数者は相談相手でない

仮説: あの各ファイルは攻撃しない
1. 事実4と事実1から、推論1: "その少数者は相談相手だということはない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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