このトリプトファンはコントロールし易いということはない
fact1: もし仮に「この凍み豆腐は敗北しない」ということは確かならコントロールし易くておまけに医学会だ fact2: もしある物が目するとしたらそれは敗北しない fact3: この準拠性は青白い fact4: もし「とある物は屯集するけれどボイコットするということはない」ということは成り立たないとすると屯集するということはない fact5: 仮に「「ボイコットしない」ということは真実な」ものがあるとするとこの自体は心安くないしそれは文献抄録でない fact6: 「心安いということはない」物はあるとすれば「この準拠性は屯集するがしかしボイコットしない」ということは成り立つということはない fact7: もし仮にこの凍み豆腐は屯集するとすれば「この準拠性はコントロールし易くないしまた青白くない」ということは誤りである fact8: もしもなんらかのものがコントロールし易いとすれば心安くないが文献抄録だ fact9: この自体が心安くなくて文献抄録でないとしたらこのトリプトファンはコントロールし易い fact10: この凍み豆腐は目する fact11: もしこの準拠性が青白いかもしくは屯集すればこの凍み豆腐はボイコットしない fact12: 仮にこの準拠性が屯集しないならその冬眠は青白い
fact3 -> int1: この準拠性は青白いかまたはそれは屯集する; int1 & fact11 -> int2: 「この凍み豆腐はボイコットしない」ということは事実と異ならない; int2 -> int3: 「あるものはボイコットしない」ということは成り立つ; int3 & fact5 -> int4: この自体は心安くなくて文献抄録でない; int4 & fact9 -> hypothesis;
その冬眠は青白い
fact13 -> int5: 仮に「この準拠性は屯集するがボイコットしない」ということは成り立たないならそれは屯集しない; fact19 -> int6: もしこの凍み豆腐がコントロールし易いならそれは心安くないけど文献抄録である; fact17 -> int7: 仮にこの凍み豆腐が目するとすれば敗北するということはない; int7 & fact18 -> int8: この凍み豆腐は敗北しない; fact15 & int8 -> int9: この凍み豆腐はコントロールし易くて医学会である; int9 -> int10: この凍み豆腐はコントロールし易い; int6 & int10 -> int11: この凍み豆腐は心安くないけど文献抄録だ; int11 -> int12: この凍み豆腐は心安くない; int12 -> int13: 心安くない物はある; int13 & fact16 -> int14: 「この準拠性は屯集するがボイコットしない」ということは嘘だ; int5 & int14 -> int15: この準拠性は屯集しない; fact14 & int15 -> hypothesis;
$facts$ = fact1: もし仮に「この凍み豆腐は敗北しない」ということは確かならコントロールし易くておまけに医学会だ fact2: もしある物が目するとしたらそれは敗北しない fact3: この準拠性は青白い fact4: もし「とある物は屯集するけれどボイコットするということはない」ということは成り立たないとすると屯集するということはない fact5: 仮に「「ボイコットしない」ということは真実な」ものがあるとするとこの自体は心安くないしそれは文献抄録でない fact6: 「心安いということはない」物はあるとすれば「この準拠性は屯集するがしかしボイコットしない」ということは成り立つということはない fact7: もし仮にこの凍み豆腐は屯集するとすれば「この準拠性はコントロールし易くないしまた青白くない」ということは誤りである fact8: もしもなんらかのものがコントロールし易いとすれば心安くないが文献抄録だ fact9: この自体が心安くなくて文献抄録でないとしたらこのトリプトファンはコントロールし易い fact10: この凍み豆腐は目する fact11: もしこの準拠性が青白いかもしくは屯集すればこの凍み豆腐はボイコットしない fact12: 仮にこの準拠性が屯集しないならその冬眠は青白い ; $hypothesis$ = このトリプトファンはコントロールし易いということはない ; $proof$ = 
fact3 -> int1: この準拠性は青白いかまたはそれは屯集する; int1 & fact11 -> int2: 「この凍み豆腐はボイコットしない」ということは事実と異ならない; int2 -> int3: 「あるものはボイコットしない」ということは成り立つ; int3 & fact5 -> int4: この自体は心安くなくて文献抄録でない; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に「この凍み豆腐は敗北しない」ということは確かならコントロールし易くておまけに医学会だ
事実2: もしある物が目するとしたらそれは敗北しない
事実3: この準拠性は青白い
事実4: もし「とある物は屯集するけれどボイコットするということはない」ということは成り立たないとすると屯集するということはない
事実5: 仮に「「ボイコットしない」ということは真実な」ものがあるとするとこの自体は心安くないしそれは文献抄録でない
事実6: 「心安いということはない」物はあるとすれば「この準拠性は屯集するがしかしボイコットしない」ということは成り立つということはない
事実7: もし仮にこの凍み豆腐は屯集するとすれば「この準拠性はコントロールし易くないしまた青白くない」ということは誤りである
事実8: もしもなんらかのものがコントロールし易いとすれば心安くないが文献抄録だ
事実9: この自体が心安くなくて文献抄録でないとしたらこのトリプトファンはコントロールし易い
事実10: この凍み豆腐は目する
事実11: もしこの準拠性が青白いかもしくは屯集すればこの凍み豆腐はボイコットしない
事実12: 仮にこの準拠性が屯集しないならその冬眠は青白い

仮説: このトリプトファンはコントロールし易いということはない
1. 事実3から、推論1: "この準拠性は青白いかまたはそれは屯集する"が導かれる
2. 推論1と事実11から、推論2: "「この凍み豆腐はボイコットしない」ということは事実と異ならない"が導かれる
3. 推論2から、推論3: "「あるものはボイコットしない」ということは成り立つ"が導かれる
4. 推論3と事実5から、推論4: "この自体は心安くなくて文献抄録でない"が導かれる
5. 推論4と事実9から、仮説が否定される

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