あのアタック隊は能力者だということはない
fact1: もしもあのアタック隊が対向流拡散火炎でないかあるいはそれが巧まないとしたらあの被毛は対向流拡散火炎である fact2: 仮にあのアタック隊は発展し続けないならば「能力者だしさらに対向流拡散火炎だ」ということは誤りだ fact3: もしあのアタック隊が巧めば能力者でない fact4: あのアタック隊は対向流拡散火炎だ fact5: もし仮にあるものが巧むとしたら能力者でない fact6: もし「その応用的研究はメンテナンスでないかもしくはそれはハッチでない」ということは偽であるならばあのアタック隊は発展し続けない fact7: もしなにかは対向流拡散火炎であるかあるいは巧むかまたはどちらもだとしたら能力者でない
fact4 -> int1: あのアタック隊は対向流拡散火炎であるか巧む; fact7 -> int2: あのアタック隊は対向流拡散火炎であるかまたは巧むとすると能力者でない; int1 & int2 -> hypothesis;
あの被毛は対向流拡散火炎だ
$facts$ = fact1: もしもあのアタック隊が対向流拡散火炎でないかあるいはそれが巧まないとしたらあの被毛は対向流拡散火炎である fact2: 仮にあのアタック隊は発展し続けないならば「能力者だしさらに対向流拡散火炎だ」ということは誤りだ fact3: もしあのアタック隊が巧めば能力者でない fact4: あのアタック隊は対向流拡散火炎だ fact5: もし仮にあるものが巧むとしたら能力者でない fact6: もし「その応用的研究はメンテナンスでないかもしくはそれはハッチでない」ということは偽であるならばあのアタック隊は発展し続けない fact7: もしなにかは対向流拡散火炎であるかあるいは巧むかまたはどちらもだとしたら能力者でない ; $hypothesis$ = あのアタック隊は能力者だということはない ; $proof$ = 
fact4 -> int1: あのアタック隊は対向流拡散火炎であるか巧む; fact7 -> int2: あのアタック隊は対向流拡散火炎であるかまたは巧むとすると能力者でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあのアタック隊が対向流拡散火炎でないかあるいはそれが巧まないとしたらあの被毛は対向流拡散火炎である
事実2: 仮にあのアタック隊は発展し続けないならば「能力者だしさらに対向流拡散火炎だ」ということは誤りだ
事実3: もしあのアタック隊が巧めば能力者でない
事実4: あのアタック隊は対向流拡散火炎だ
事実5: もし仮にあるものが巧むとしたら能力者でない
事実6: もし「その応用的研究はメンテナンスでないかもしくはそれはハッチでない」ということは偽であるならばあのアタック隊は発展し続けない
事実7: もしなにかは対向流拡散火炎であるかあるいは巧むかまたはどちらもだとしたら能力者でない

仮説: あのアタック隊は能力者だということはない
1. 事実4から、推論1: "あのアタック隊は対向流拡散火炎であるか巧む"が導かれる
2. 事実7から、推論2: "あのアタック隊は対向流拡散火炎であるかまたは巧むとすると能力者でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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