その三助はハンドルバーだ
fact1: 怠くらないものはハンドルバーだ fact2: その三助は捗々しくない fact3: その三助が捗々しくないとすればそれは異化するかあるいは怠いかもしくは両方である fact4: その三助は異化するかまたは怠い fact5: もしもその三助が捗々しくないとすれば異化するかもしくは怠いということはないかあるいはどちらもだ fact6: もしその三助が怠くらないとすればそれはハンドルバーである fact7: もし仮にある物が異化するかまたはそれが怠くないならそれはハンドルバーである fact8: その三助は対向流拡散火炎であるかそれはハンドルバーでないかどちらもだ
fact7 -> int1: 仮にその三助は異化するかあるいは怠くらないかまたはどちらもであるとするとハンドルバーである; fact5 & fact2 -> int2: その三助は異化するか怠いということはないかもしくは両方だ; int1 & int2 -> hypothesis;
$facts$ = fact1: 怠くらないものはハンドルバーだ fact2: その三助は捗々しくない fact3: その三助が捗々しくないとすればそれは異化するかあるいは怠いかもしくは両方である fact4: その三助は異化するかまたは怠い fact5: もしもその三助が捗々しくないとすれば異化するかもしくは怠いということはないかあるいはどちらもだ fact6: もしその三助が怠くらないとすればそれはハンドルバーである fact7: もし仮にある物が異化するかまたはそれが怠くないならそれはハンドルバーである fact8: その三助は対向流拡散火炎であるかそれはハンドルバーでないかどちらもだ ; $hypothesis$ = その三助はハンドルバーだ ; $proof$ = 
fact7 -> int1: 仮にその三助は異化するかあるいは怠くらないかまたはどちらもであるとするとハンドルバーである; fact5 & fact2 -> int2: その三助は異化するか怠いということはないかもしくは両方だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 怠くらないものはハンドルバーだ
事実2: その三助は捗々しくない
事実3: その三助が捗々しくないとすればそれは異化するかあるいは怠いかもしくは両方である
事実4: その三助は異化するかまたは怠い
事実5: もしもその三助が捗々しくないとすれば異化するかもしくは怠いということはないかあるいはどちらもだ
事実6: もしその三助が怠くらないとすればそれはハンドルバーである
事実7: もし仮にある物が異化するかまたはそれが怠くないならそれはハンドルバーである
事実8: その三助は対向流拡散火炎であるかそれはハンドルバーでないかどちらもだ

仮説: その三助はハンドルバーだ
1. 事実7から、推論1: "仮にその三助は異化するかあるいは怠くらないかまたはどちらもであるとするとハンドルバーである"が導かれる
2. 事実5と事実2から、推論2: "その三助は異化するか怠いということはないかもしくは両方だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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