「「細かいか振り切る」ものはある」ということは誤りである
fact1: あのレース結果は取り除き過ぎる fact2: もし仮に「あの透明さは待望するということはない」ということは事実であるならばこの明神岩安山岩は煩くないかまたは開会するかあるいはどちらもだ fact3: この三号戦車は細かい fact4: 何らかのものは煩くないかもしくは開会するかどちらもであるとするとそれは濡れ始める fact5: もしあのレース結果が取り除き過ぎるとするとそれは仄白くないがしかしきもい fact6: なんらかのものが振り切るということはないならば細かいかあるいは遠友夜学校であるかもしくはどちらもである fact7: 「眼帯であるかまたは見え辛いかもしくは両方ともな」物はある fact8: なにがしかのものは皆するかあるいはそれは活動期である
fact3 -> int1: この三号戦車は細かいかあるいは振り切る; int1 -> hypothesis;
この三号戦車は細かいかもしくはそれは遠友夜学校であるか両方ともだ
fact10 -> int2: この三号戦車が振り切らないならばそれは細かいかそれは遠友夜学校であるかもしくはどちらもである; fact12 -> int3: もしこの明神岩安山岩は煩くないかもしくは開会するかあるいは両方であるとすればそれは濡れ始める; fact13 & fact11 -> int4: 「あのレース結果は仄白くないがしかしそれはきもい」ということは成り立つ; int4 -> int5: 仄白くないしきもいものはある;
$facts$ = fact1: あのレース結果は取り除き過ぎる fact2: もし仮に「あの透明さは待望するということはない」ということは事実であるならばこの明神岩安山岩は煩くないかまたは開会するかあるいはどちらもだ fact3: この三号戦車は細かい fact4: 何らかのものは煩くないかもしくは開会するかどちらもであるとするとそれは濡れ始める fact5: もしあのレース結果が取り除き過ぎるとするとそれは仄白くないがしかしきもい fact6: なんらかのものが振り切るということはないならば細かいかあるいは遠友夜学校であるかもしくはどちらもである fact7: 「眼帯であるかまたは見え辛いかもしくは両方ともな」物はある fact8: なにがしかのものは皆するかあるいはそれは活動期である ; $hypothesis$ = 「「細かいか振り切る」ものはある」ということは誤りである ; $proof$ = 
fact3 -> int1: この三号戦車は細かいかあるいは振り切る; int1 -> hypothesis; __DISPROVED__
事実1: あのレース結果は取り除き過ぎる
事実2: もし仮に「あの透明さは待望するということはない」ということは事実であるならばこの明神岩安山岩は煩くないかまたは開会するかあるいはどちらもだ
事実3: この三号戦車は細かい
事実4: 何らかのものは煩くないかもしくは開会するかどちらもであるとするとそれは濡れ始める
事実5: もしあのレース結果が取り除き過ぎるとするとそれは仄白くないがしかしきもい
事実6: なんらかのものが振り切るということはないならば細かいかあるいは遠友夜学校であるかもしくはどちらもである
事実7: 「眼帯であるかまたは見え辛いかもしくは両方ともな」物はある
事実8: なにがしかのものは皆するかあるいはそれは活動期である

仮説: 「「細かいか振り切る」ものはある」ということは誤りである
1. 事実3から、推論1: "この三号戦車は細かいかあるいは振り切る"が導かれる
2. 推論1から、仮説が否定される

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