その気合いは取り逃がさない
fact1: その気合いがコントロールし易いならこの律儀さは取り逃がす fact2: この律儀さは竹篦でない fact3: もしこの律儀さがコントロールし易いならばその気合いは取り逃がす fact4: この律儀さは漏出するがしかし竹篦だということはない fact5: あのアミン類は取り逃がす fact6: もし仮に「この律儀さは可笑しけど取り逃がさない」ということは間違っていればその気合いは取り逃がさない fact7: 仮にその気合いが漏出するとするとこの律儀さは取り逃がす fact8: もし仮にこの律儀さが漏出する一方で竹篦でないとすると「それはコントロールし易い」ということは事実である fact9: もしこの律儀さは漏出するしそれに竹篦であるとするとそれはコントロールし易い
fact8 & fact4 -> int1: 「この律儀さはコントロールし易い」ということは本当だ; int1 & fact3 -> hypothesis;
fact8 & fact4 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
その気合いは取り逃がさない
$facts$ = fact1: その気合いがコントロールし易いならこの律儀さは取り逃がす fact2: この律儀さは竹篦でない fact3: もしこの律儀さがコントロールし易いならばその気合いは取り逃がす fact4: この律儀さは漏出するがしかし竹篦だということはない fact5: あのアミン類は取り逃がす fact6: もし仮に「この律儀さは可笑しけど取り逃がさない」ということは間違っていればその気合いは取り逃がさない fact7: 仮にその気合いが漏出するとするとこの律儀さは取り逃がす fact8: もし仮にこの律儀さが漏出する一方で竹篦でないとすると「それはコントロールし易い」ということは事実である fact9: もしこの律儀さは漏出するしそれに竹篦であるとするとそれはコントロールし易い ; $hypothesis$ = その気合いは取り逃がさない ; $proof$ = 
fact8 & fact4 -> int1: 「この律儀さはコントロールし易い」ということは本当だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: その気合いがコントロールし易いならこの律儀さは取り逃がす
事実2: この律儀さは竹篦でない
事実3: もしこの律儀さがコントロールし易いならばその気合いは取り逃がす
事実4: この律儀さは漏出するがしかし竹篦だということはない
事実5: あのアミン類は取り逃がす
事実6: もし仮に「この律儀さは可笑しけど取り逃がさない」ということは間違っていればその気合いは取り逃がさない
事実7: 仮にその気合いが漏出するとするとこの律儀さは取り逃がす
事実8: もし仮にこの律儀さが漏出する一方で竹篦でないとすると「それはコントロールし易い」ということは事実である
事実9: もしこの律儀さは漏出するしそれに竹篦であるとするとそれはコントロールし易い

仮説: その気合いは取り逃がさない
1. 事実8と事実4から、推論1: "「この律儀さはコントロールし易い」ということは本当だ"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。