「「もしも納豆生産でないなら削り節でなくてその上仮想しない」物はある」ということは誤りである
fact1: 「もし納豆生産だとすれば削り節でなくて仮想しない」ものはある fact2: その負電荷が納豆生産でないならばそれは削り節でなくて仮想しない fact3: 見分け難くない物は照れ臭くないし更に起動しない fact4: もし仮にその負電荷は納豆生産でないならば削り節でない
fact2 -> hypothesis;
「もし仮に見分け難くないとしたら照れ臭いということはないし更に起動しない」ものはある
fact5 -> int1: もしもこのエマルジョンが見分け難くないならそれは照れ臭くなくて起動しない; int1 -> hypothesis;
$facts$ = fact1: 「もし納豆生産だとすれば削り節でなくて仮想しない」ものはある fact2: その負電荷が納豆生産でないならばそれは削り節でなくて仮想しない fact3: 見分け難くない物は照れ臭くないし更に起動しない fact4: もし仮にその負電荷は納豆生産でないならば削り節でない ; $hypothesis$ = 「「もしも納豆生産でないなら削り節でなくてその上仮想しない」物はある」ということは誤りである ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「もし納豆生産だとすれば削り節でなくて仮想しない」ものはある
事実2: その負電荷が納豆生産でないならばそれは削り節でなくて仮想しない
事実3: 見分け難くない物は照れ臭くないし更に起動しない
事実4: もし仮にその負電荷は納豆生産でないならば削り節でない

仮説: 「「もしも納豆生産でないなら削り節でなくてその上仮想しない」物はある」ということは誤りである
1. 事実2から、仮説が否定される

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