あのフロンティアは止めする
fact1: もしもこのサイレントは溶け易くないし足し合わせないなら引き出し易い fact2: 「あのフロンティアは正しくない」ということは真実だ fact3: もしも正しくないものが引き出し易くないならそれは止めする fact4: あのフロンティアは引き出し易くない
fact2 & fact4 -> int1: あのフロンティアは正しくないしかつ引き出し易いということはない; fact3 -> int2: もし仮にあのフロンティアが正しくないししかも引き出し易くないなら止めする; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもこのサイレントは溶け易くないし足し合わせないなら引き出し易い fact2: 「あのフロンティアは正しくない」ということは真実だ fact3: もしも正しくないものが引き出し易くないならそれは止めする fact4: あのフロンティアは引き出し易くない ; $hypothesis$ = あのフロンティアは止めする ; $proof$ = 
fact2 & fact4 -> int1: あのフロンティアは正しくないしかつ引き出し易いということはない; fact3 -> int2: もし仮にあのフロンティアが正しくないししかも引き出し易くないなら止めする; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもこのサイレントは溶け易くないし足し合わせないなら引き出し易い
事実2: 「あのフロンティアは正しくない」ということは真実だ
事実3: もしも正しくないものが引き出し易くないならそれは止めする
事実4: あのフロンティアは引き出し易くない

仮説: あのフロンティアは止めする
1. 事実2と事実4から、推論1: "あのフロンティアは正しくないしかつ引き出し易いということはない"が導かれる
2. 事実3から、推論2: "もし仮にあのフロンティアが正しくないししかも引き出し易くないなら止めする"が導かれる
3. 推論1と推論2から、仮説が導かれる

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