「この歯槽膿漏は入り浸るし女の子らしい」ということは間違いである
fact1: その目標間は女の子らしい fact2: もしもなにかは出現し易くないならそれは御教え頂くしさらにそれは手痛い fact3: もしこの歯槽膿漏がＯＢ臭いならそれは女の子らしい fact4: この歯槽膿漏が女の子らしいということはないとすればこの伊那踊り人形は遅くてＯＢ臭い fact5: 仮に何かはＯＢ臭いということはないとしたら「入り浸るし女の子らしい」ということは成り立たない fact6: この今走は惜しみ無いし女の子らしい fact7: この歯槽膿漏は入り浸る fact8: なにがしかの物はクラッドだとすると「それはＯＢ臭い一方で遅くない」ということは成り立たない fact9: もしその邪視は長細くないとすれば「それは出現し易くて入手し易い」ということは偽だ fact10: もし「「その邪視が出現し易いしその上入手し易い」ということは間違っている」ということは成り立つとするとこの歯槽膿漏は出現し易いということはない fact11: この歯槽膿漏がＯＢ臭いしその上それは遅い fact12: その邪視は長細くない fact13: この歯槽膿漏が手痛いとしたらそれはクラッドである fact14: 仮に「何らかの物は御教え頂かないしさらにクラッドでない」ということは成り立たないとすると「それはクラッドである」ということは事実である fact15: この歯槽膿漏は発揮し易い fact16: 「御教え頂かないしそれにクラッドでない」ということは本当だというものはない fact17: この歯槽膿漏は遅い
fact11 -> int1: 「この歯槽膿漏はＯＢ臭い」ということは成り立つ; int1 & fact3 -> int2: この歯槽膿漏は女の子らしい; int2 & fact7 -> hypothesis;
fact11 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
「この歯槽膿漏は入り浸るしおまけに女の子らしい」ということは嘘だ
fact18 -> int3: もしこの歯槽膿漏はＯＢ臭くないなら「入り浸るし女の子らしい」ということは成り立たない; fact21 -> int4: もしもその邪視はクラッドだとしたら「ＯＢ臭いけれど遅くない」ということは偽である; fact20 -> int5: 「その邪視は御教え頂かないしその上クラッドでない」ということは偽であるとしたらそれはクラッドである; fact19 -> int6: 「その邪視は御教え頂かないしクラッドだということはない」ということは成り立たない; int5 & int6 -> int7: その邪視はクラッドだ; int4 & int7 -> int8: 「その邪視はＯＢ臭いけれどそれは遅くない」ということは偽だ; int8 -> int9: 「「ＯＢ臭いしまた遅くない」ということは正しくない」ものはある;
$facts$ = fact1: その目標間は女の子らしい fact2: もしもなにかは出現し易くないならそれは御教え頂くしさらにそれは手痛い fact3: もしこの歯槽膿漏がＯＢ臭いならそれは女の子らしい fact4: この歯槽膿漏が女の子らしいということはないとすればこの伊那踊り人形は遅くてＯＢ臭い fact5: 仮に何かはＯＢ臭いということはないとしたら「入り浸るし女の子らしい」ということは成り立たない fact6: この今走は惜しみ無いし女の子らしい fact7: この歯槽膿漏は入り浸る fact8: なにがしかの物はクラッドだとすると「それはＯＢ臭い一方で遅くない」ということは成り立たない fact9: もしその邪視は長細くないとすれば「それは出現し易くて入手し易い」ということは偽だ fact10: もし「「その邪視が出現し易いしその上入手し易い」ということは間違っている」ということは成り立つとするとこの歯槽膿漏は出現し易いということはない fact11: この歯槽膿漏がＯＢ臭いしその上それは遅い fact12: その邪視は長細くない fact13: この歯槽膿漏が手痛いとしたらそれはクラッドである fact14: 仮に「何らかの物は御教え頂かないしさらにクラッドでない」ということは成り立たないとすると「それはクラッドである」ということは事実である fact15: この歯槽膿漏は発揮し易い fact16: 「御教え頂かないしそれにクラッドでない」ということは本当だというものはない fact17: この歯槽膿漏は遅い ; $hypothesis$ = 「この歯槽膿漏は入り浸るし女の子らしい」ということは間違いである ; $proof$ = 
fact11 -> int1: 「この歯槽膿漏はＯＢ臭い」ということは成り立つ; int1 & fact3 -> int2: この歯槽膿漏は女の子らしい; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: その目標間は女の子らしい
事実2: もしもなにかは出現し易くないならそれは御教え頂くしさらにそれは手痛い
事実3: もしこの歯槽膿漏がＯＢ臭いならそれは女の子らしい
事実4: この歯槽膿漏が女の子らしいということはないとすればこの伊那踊り人形は遅くてＯＢ臭い
事実5: 仮に何かはＯＢ臭いということはないとしたら「入り浸るし女の子らしい」ということは成り立たない
事実6: この今走は惜しみ無いし女の子らしい
事実7: この歯槽膿漏は入り浸る
事実8: なにがしかの物はクラッドだとすると「それはＯＢ臭い一方で遅くない」ということは成り立たない
事実9: もしその邪視は長細くないとすれば「それは出現し易くて入手し易い」ということは偽だ
事実10: もし「「その邪視が出現し易いしその上入手し易い」ということは間違っている」ということは成り立つとするとこの歯槽膿漏は出現し易いということはない
事実11: この歯槽膿漏がＯＢ臭いしその上それは遅い
事実12: その邪視は長細くない
事実13: この歯槽膿漏が手痛いとしたらそれはクラッドである
事実14: 仮に「何らかの物は御教え頂かないしさらにクラッドでない」ということは成り立たないとすると「それはクラッドである」ということは事実である
事実15: この歯槽膿漏は発揮し易い
事実16: 「御教え頂かないしそれにクラッドでない」ということは本当だというものはない
事実17: この歯槽膿漏は遅い

仮説: 「この歯槽膿漏は入り浸るし女の子らしい」ということは間違いである
1. 事実11から、推論1: "「この歯槽膿漏はＯＢ臭い」ということは成り立つ"が導かれる
2. 推論1と事実3から、推論2: "この歯槽膿漏は女の子らしい"が導かれる
3. 推論2と事実7から、仮説が否定される

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