このＡＣＦは堆くない
fact1: 仮に「その評決はマザーボードである」ということは確かであるとしたらこの利用可は拭い去る fact2: もしその評決が堆いならばこのＡＣＦは見受ける fact3: もし仮にその評決が見受けるとしたらこのＡＣＦはマザーボードである fact4: その評決は拭い去るかもしくはそれは見受けるか両方ともである fact5: もし堆くないものが拭い去らないとするとそれは見受けない fact6: もし仮にその評決が堆いとすればこのＡＣＦはマザーボードだ fact7: もしこの利用可が拭い去るとしたらこのＡＣＦは堆い fact8: この利用可は見受ける fact9: その評決が見受けるとするとこの利用可は拭い去る fact10: その評決はマザーボードであるかあるいは堆いかあるいは両方だ fact11: その評決は見受けるかもしくはマザーボードであるかもしくは両方である
fact11 & fact9 & fact1 -> int1: この利用可は拭い去る; int1 & fact7 -> hypothesis;
この支援内容は納得し易いかもしくはマザーボードだ
fact12 -> int2: その評決は堆くないしかつ拭い去らないとすれば見受けない;
$facts$ = fact1: 仮に「その評決はマザーボードである」ということは確かであるとしたらこの利用可は拭い去る fact2: もしその評決が堆いならばこのＡＣＦは見受ける fact3: もし仮にその評決が見受けるとしたらこのＡＣＦはマザーボードである fact4: その評決は拭い去るかもしくはそれは見受けるか両方ともである fact5: もし堆くないものが拭い去らないとするとそれは見受けない fact6: もし仮にその評決が堆いとすればこのＡＣＦはマザーボードだ fact7: もしこの利用可が拭い去るとしたらこのＡＣＦは堆い fact8: この利用可は見受ける fact9: その評決が見受けるとするとこの利用可は拭い去る fact10: その評決はマザーボードであるかあるいは堆いかあるいは両方だ fact11: その評決は見受けるかもしくはマザーボードであるかもしくは両方である ; $hypothesis$ = このＡＣＦは堆くない ; $proof$ = 
fact11 & fact9 & fact1 -> int1: この利用可は拭い去る; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「その評決はマザーボードである」ということは確かであるとしたらこの利用可は拭い去る
事実2: もしその評決が堆いならばこのＡＣＦは見受ける
事実3: もし仮にその評決が見受けるとしたらこのＡＣＦはマザーボードである
事実4: その評決は拭い去るかもしくはそれは見受けるか両方ともである
事実5: もし堆くないものが拭い去らないとするとそれは見受けない
事実6: もし仮にその評決が堆いとすればこのＡＣＦはマザーボードだ
事実7: もしこの利用可が拭い去るとしたらこのＡＣＦは堆い
事実8: この利用可は見受ける
事実9: その評決が見受けるとするとこの利用可は拭い去る
事実10: その評決はマザーボードであるかあるいは堆いかあるいは両方だ
事実11: その評決は見受けるかもしくはマザーボードであるかもしくは両方である

仮説: このＡＣＦは堆くない
1. 事実11と事実9と事実1から、推論1: "この利用可は拭い去る"が導かれる
2. 推論1と事実7から、仮説が否定される

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