この臨床兆候は退けない
fact1: 何かは思い遣れない fact2: 小賢しいということはなくて殺さないというものはない fact3: 仮に「なにがしかのものは小賢しくないし殺すということはない」ということは事実と異なるとすると電気料金である fact4: 「思い遣れないけど衝動買いする」物はある fact5: もし仮に何かは思い遣れないけどそれが衝動買いするとするとこの臨床兆候は退ける fact6: もし言い易くない物が思い遣れるとするとこの臨床兆候はメーター上である fact7: 何らかの物は思い遣れるしそれに衝動買いする fact8: なにがしかの物が期末棚卸し資産でない一方で行儀良いとするとその遺伝情報は衝動買いする fact9: この臨床兆候は衝動買いする fact10: 「衝動買いする」ものはある fact11: 「このセックスライフは退ける」ということは事実である
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
この臨床兆候は退けない
fact12 -> int1: 「この精算は小賢しいということはなくてしかも殺さない」ということは成り立つということはないとすると電気料金だ; fact13 -> int2: 「この精算は小賢しいということはないしそれは殺さない」ということは成り立たない; int1 & int2 -> int3: 「この精算は電気料金だ」ということは成り立つ;
$facts$ = fact1: 何かは思い遣れない fact2: 小賢しいということはなくて殺さないというものはない fact3: 仮に「なにがしかのものは小賢しくないし殺すということはない」ということは事実と異なるとすると電気料金である fact4: 「思い遣れないけど衝動買いする」物はある fact5: もし仮に何かは思い遣れないけどそれが衝動買いするとするとこの臨床兆候は退ける fact6: もし言い易くない物が思い遣れるとするとこの臨床兆候はメーター上である fact7: 何らかの物は思い遣れるしそれに衝動買いする fact8: なにがしかの物が期末棚卸し資産でない一方で行儀良いとするとその遺伝情報は衝動買いする fact9: この臨床兆候は衝動買いする fact10: 「衝動買いする」ものはある fact11: 「このセックスライフは退ける」ということは事実である ; $hypothesis$ = この臨床兆候は退けない ; $proof$ = 
fact4 & fact5 -> hypothesis; __DISPROVED__
事実1: 何かは思い遣れない
事実2: 小賢しいということはなくて殺さないというものはない
事実3: 仮に「なにがしかのものは小賢しくないし殺すということはない」ということは事実と異なるとすると電気料金である
事実4: 「思い遣れないけど衝動買いする」物はある
事実5: もし仮に何かは思い遣れないけどそれが衝動買いするとするとこの臨床兆候は退ける
事実6: もし言い易くない物が思い遣れるとするとこの臨床兆候はメーター上である
事実7: 何らかの物は思い遣れるしそれに衝動買いする
事実8: なにがしかの物が期末棚卸し資産でない一方で行儀良いとするとその遺伝情報は衝動買いする
事実9: この臨床兆候は衝動買いする
事実10: 「衝動買いする」ものはある
事実11: 「このセックスライフは退ける」ということは事実である

仮説: この臨床兆候は退けない
1. 事実4と事実5から、仮説が否定される

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