この試薬特級は合併し易い
fact1: もしも「この裏庭は理解・解釈する」ということは真実であるとするとこの試薬特級は引用為さる fact2: もしこの試薬特級が超自我だとしたらそれは監視し易くない fact3: 「この裏庭は気安い」ということは正しい fact4: もし仮に「暗記する」ものがあるならこの裏庭は引用為さるということはないかもしくは暗記する fact5: この試薬特級は惜しみ無い fact6: この裏庭は合併し易くない fact7: もし仮にとある物が暗記するということはないかもしくはそれは理解・解釈しないかもしくは両方だとするとそれは理解・解釈するということはない fact8: 惜しみ無くない物は引用為さらなくて暗記するということはない fact9: もし仮にこの試薬特級が合併し易いとすれば理解・解釈しない fact10: もし仮にこの裏庭が引用為さればそれは理解・解釈する fact11: 仮になんらかの物が引用為さるなら合併し易くない fact12: なにがしかのものは悪心でないしおまけに焼き難くない fact13: もしこの裏庭が理解・解釈しないとするとこの試薬特級は合併し易くて気安い fact14: もし仮に何かは惜しみ無いとすればそれは暗記する fact15: 仮にこの裏庭が気安いならば理解・解釈する fact16: もし「この裏庭は理解・解釈するしそれは合併し易い」ということは嘘でないとしたらそのビアラホスは合併し易くない
fact15 & fact3 -> int1: この裏庭は理解・解釈する; int1 & fact1 -> int2: この試薬特級は引用為さる; fact11 -> int3: もしもこの試薬特級は引用為さるなら「「合併し易い」ということは嘘だ」ということは成り立つ; int2 & int3 -> hypothesis;
fact15 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; fact11 -> int3: {C}{b} -> ¬{D}{b}; int2 & int3 -> hypothesis;
そのビアラホスは合併し易くない
fact17 -> int4: もし仮にこの試薬特級が惜しみ無いとしたら暗記する; int4 & fact19 -> int5: この試薬特級は暗記する; int5 -> int6: 「暗記する」物はある; int6 & fact20 -> int7: この裏庭は引用為さるということはないかもしくは暗記する;
$facts$ = fact1: もしも「この裏庭は理解・解釈する」ということは真実であるとするとこの試薬特級は引用為さる fact2: もしこの試薬特級が超自我だとしたらそれは監視し易くない fact3: 「この裏庭は気安い」ということは正しい fact4: もし仮に「暗記する」ものがあるならこの裏庭は引用為さるということはないかもしくは暗記する fact5: この試薬特級は惜しみ無い fact6: この裏庭は合併し易くない fact7: もし仮にとある物が暗記するということはないかもしくはそれは理解・解釈しないかもしくは両方だとするとそれは理解・解釈するということはない fact8: 惜しみ無くない物は引用為さらなくて暗記するということはない fact9: もし仮にこの試薬特級が合併し易いとすれば理解・解釈しない fact10: もし仮にこの裏庭が引用為さればそれは理解・解釈する fact11: 仮になんらかの物が引用為さるなら合併し易くない fact12: なにがしかのものは悪心でないしおまけに焼き難くない fact13: もしこの裏庭が理解・解釈しないとするとこの試薬特級は合併し易くて気安い fact14: もし仮に何かは惜しみ無いとすればそれは暗記する fact15: 仮にこの裏庭が気安いならば理解・解釈する fact16: もし「この裏庭は理解・解釈するしそれは合併し易い」ということは嘘でないとしたらそのビアラホスは合併し易くない ; $hypothesis$ = この試薬特級は合併し易い ; $proof$ = 
fact15 & fact3 -> int1: この裏庭は理解・解釈する; int1 & fact1 -> int2: この試薬特級は引用為さる; fact11 -> int3: もしもこの試薬特級は引用為さるなら「「合併し易い」ということは嘘だ」ということは成り立つ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしも「この裏庭は理解・解釈する」ということは真実であるとするとこの試薬特級は引用為さる
事実2: もしこの試薬特級が超自我だとしたらそれは監視し易くない
事実3: 「この裏庭は気安い」ということは正しい
事実4: もし仮に「暗記する」ものがあるならこの裏庭は引用為さるということはないかもしくは暗記する
事実5: この試薬特級は惜しみ無い
事実6: この裏庭は合併し易くない
事実7: もし仮にとある物が暗記するということはないかもしくはそれは理解・解釈しないかもしくは両方だとするとそれは理解・解釈するということはない
事実8: 惜しみ無くない物は引用為さらなくて暗記するということはない
事実9: もし仮にこの試薬特級が合併し易いとすれば理解・解釈しない
事実10: もし仮にこの裏庭が引用為さればそれは理解・解釈する
事実11: 仮になんらかの物が引用為さるなら合併し易くない
事実12: なにがしかのものは悪心でないしおまけに焼き難くない
事実13: もしこの裏庭が理解・解釈しないとするとこの試薬特級は合併し易くて気安い
事実14: もし仮に何かは惜しみ無いとすればそれは暗記する
事実15: 仮にこの裏庭が気安いならば理解・解釈する
事実16: もし「この裏庭は理解・解釈するしそれは合併し易い」ということは嘘でないとしたらそのビアラホスは合併し易くない

仮説: この試薬特級は合併し易い
1. 事実15と事実3から、推論1: "この裏庭は理解・解釈する"が導かれる
2. 推論1と事実1から、推論2: "この試薬特級は引用為さる"が導かれる
3. 事実11から、推論3: "もしもこの試薬特級は引用為さるなら「「合併し易い」ということは嘘だ」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が否定される

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