その第三内科は稲刈りであるかグラフエリアでない
fact1: もし仮になにがしかの物が独白すればそれはグラフエリアだ fact2: その第三内科は独白する fact3: もしその第三内科は独白すれば「それは稲刈りであるかあるいはグラフエリアでない」ということは誤っている fact4: その焼却は別れないし正比例しない fact5: もしもなんらかのものが奉ずるということはないなら独白するしグラフエリアでない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
「この茶匙はグラフエリアだ」ということは事実だ
fact6 -> int1: 仮にこの茶匙は独白すれば「グラフエリアだ」ということは確かである;
$facts$ = fact1: もし仮になにがしかの物が独白すればそれはグラフエリアだ fact2: その第三内科は独白する fact3: もしその第三内科は独白すれば「それは稲刈りであるかあるいはグラフエリアでない」ということは誤っている fact4: その焼却は別れないし正比例しない fact5: もしもなんらかのものが奉ずるということはないなら独白するしグラフエリアでない ; $hypothesis$ = その第三内科は稲刈りであるかグラフエリアでない ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物が独白すればそれはグラフエリアだ
事実2: その第三内科は独白する
事実3: もしその第三内科は独白すれば「それは稲刈りであるかあるいはグラフエリアでない」ということは誤っている
事実4: その焼却は別れないし正比例しない
事実5: もしもなんらかのものが奉ずるということはないなら独白するしグラフエリアでない

仮説: その第三内科は稲刈りであるかグラフエリアでない
1. 事実3と事実2から、仮説が否定される

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