あの業容は実行し易くない
fact1: もしとある物が爆散するがファン牌でないとすると実行し易くない fact2: すべての物は好もしい fact3: 「なにかはシルクボタンでないがそれは騒がしい」ということは成り立たないとすればそれは騒がしくない fact4: あの業容はバックエンドアプリケーションでない fact5: もしある物が頼もしいならばそれは弱々しい一方で入学基準でない fact6: 何もかもは爆散するがファン牌でない
fact1 -> int1: もし仮にあの業容が爆散するがしかしそれはファン牌でないとしたら「それは実行し易くない」ということは正しい; fact6 -> int2: あの業容は爆散するけれどファン牌でない; int1 & int2 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact6 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
全ての物は弱々しいししかもそれは入学基準でない
fact7 -> int3: もし仮にあのＳＲＩが頼もしいなら弱々しいがしかし入学基準だということはない; fact8 -> int4: もし仮に「あのＳＲＩはシルクボタンでないけれど騒がしい」ということは誤っていればそれは騒がしくない;
$facts$ = fact1: もしとある物が爆散するがファン牌でないとすると実行し易くない fact2: すべての物は好もしい fact3: 「なにかはシルクボタンでないがそれは騒がしい」ということは成り立たないとすればそれは騒がしくない fact4: あの業容はバックエンドアプリケーションでない fact5: もしある物が頼もしいならばそれは弱々しい一方で入学基準でない fact6: 何もかもは爆散するがファン牌でない ; $hypothesis$ = あの業容は実行し易くない ; $proof$ = 
fact1 -> int1: もし仮にあの業容が爆散するがしかしそれはファン牌でないとしたら「それは実行し易くない」ということは正しい; fact6 -> int2: あの業容は爆散するけれどファン牌でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしとある物が爆散するがファン牌でないとすると実行し易くない
事実2: すべての物は好もしい
事実3: 「なにかはシルクボタンでないがそれは騒がしい」ということは成り立たないとすればそれは騒がしくない
事実4: あの業容はバックエンドアプリケーションでない
事実5: もしある物が頼もしいならばそれは弱々しい一方で入学基準でない
事実6: 何もかもは爆散するがファン牌でない

仮説: あの業容は実行し易くない
1. 事実1から、推論1: "もし仮にあの業容が爆散するがしかしそれはファン牌でないとしたら「それは実行し易くない」ということは正しい"が導かれる
2. 事実6から、推論2: "あの業容は爆散するけれどファン牌でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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