「「もし仮に「程近くないけれどソマ麦である」ということは偽であるとすれば六文字集合であるということはない」ものはある」ということは事実と異なる
fact1: 仮に「この生徒名は程近くないけれどそれはソマ麦である」ということは誤っているとしたらそれは六文字集合でない fact2: 「「色めかないしそれに高い」ということは正しくないならば市場価格等だということはない」ものはある fact3: もしこの生徒名は六文字集合だとすれば「それは居候しない」ということは本当である fact4: もし仮に「何かは回りくどくないけど職員室だ」ということは成り立たないなら「それは六月以降でない」ということは真実だ fact5: 仮にこの生徒名が程近いならば六文字集合でない fact6: 「仮に生み易くないならば八号線でない」ものはある fact7: 「もし仮に「鑑定しなくてその上代表する」ということは誤っているとしたら個立するということはない」物はある
fact1 -> hypothesis;
fact1 -> hypothesis;
「もしも「回りくどくない一方で職員室だ」ということは嘘だとしたら六月以降でない」物はある
fact8 -> int1: もし仮に「この艦長は回りくどくないけど職員室だ」ということは誤りであるなら六月以降でない; int1 -> hypothesis;
$facts$ = fact1: 仮に「この生徒名は程近くないけれどそれはソマ麦である」ということは誤っているとしたらそれは六文字集合でない fact2: 「「色めかないしそれに高い」ということは正しくないならば市場価格等だということはない」ものはある fact3: もしこの生徒名は六文字集合だとすれば「それは居候しない」ということは本当である fact4: もし仮に「何かは回りくどくないけど職員室だ」ということは成り立たないなら「それは六月以降でない」ということは真実だ fact5: 仮にこの生徒名が程近いならば六文字集合でない fact6: 「仮に生み易くないならば八号線でない」ものはある fact7: 「もし仮に「鑑定しなくてその上代表する」ということは誤っているとしたら個立するということはない」物はある ; $hypothesis$ = 「「もし仮に「程近くないけれどソマ麦である」ということは偽であるとすれば六文字集合であるということはない」ものはある」ということは事実と異なる ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「この生徒名は程近くないけれどそれはソマ麦である」ということは誤っているとしたらそれは六文字集合でない
事実2: 「「色めかないしそれに高い」ということは正しくないならば市場価格等だということはない」ものはある
事実3: もしこの生徒名は六文字集合だとすれば「それは居候しない」ということは本当である
事実4: もし仮に「何かは回りくどくないけど職員室だ」ということは成り立たないなら「それは六月以降でない」ということは真実だ
事実5: 仮にこの生徒名が程近いならば六文字集合でない
事実6: 「仮に生み易くないならば八号線でない」ものはある
事実7: 「もし仮に「鑑定しなくてその上代表する」ということは誤っているとしたら個立するということはない」物はある

仮説: 「「もし仮に「程近くないけれどソマ麦である」ということは偽であるとすれば六文字集合であるということはない」ものはある」ということは事実と異なる
1. 事実1から、仮説が否定される

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