その顔無しは螺子止めしない
fact1: 「その顔無しは憎くない」ということは事実でない fact2: 「このＨＫＥＹ＿ＬＯＣＡＬ＿マシンは螺子止めする」ということは正しい fact3: その顔無しは裸地化である fact4: あの制度上は螺子止めする fact5: もし仮にこの筋力アップが等色関数でないとすればその顔無しは螺子止めするということはない fact6: その顔無しは螺子止めする fact7: その鉛版は螺子止めする fact8: その顔無しは清い fact9: 「この熱蛍光線量計は螺子止めする」ということは成り立つ fact10: その顔無しは御取り引きだ fact11: あのランズマンは螺子止めする
fact6 -> hypothesis;
fact6 -> hypothesis;
その顔無しは螺子止めしない
$facts$ = fact1: 「その顔無しは憎くない」ということは事実でない fact2: 「このＨＫＥＹ＿ＬＯＣＡＬ＿マシンは螺子止めする」ということは正しい fact3: その顔無しは裸地化である fact4: あの制度上は螺子止めする fact5: もし仮にこの筋力アップが等色関数でないとすればその顔無しは螺子止めするということはない fact6: その顔無しは螺子止めする fact7: その鉛版は螺子止めする fact8: その顔無しは清い fact9: 「この熱蛍光線量計は螺子止めする」ということは成り立つ fact10: その顔無しは御取り引きだ fact11: あのランズマンは螺子止めする ; $hypothesis$ = その顔無しは螺子止めしない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 「その顔無しは憎くない」ということは事実でない
事実2: 「このＨＫＥＹ＿ＬＯＣＡＬ＿マシンは螺子止めする」ということは正しい
事実3: その顔無しは裸地化である
事実4: あの制度上は螺子止めする
事実5: もし仮にこの筋力アップが等色関数でないとすればその顔無しは螺子止めするということはない
事実6: その顔無しは螺子止めする
事実7: その鉛版は螺子止めする
事実8: その顔無しは清い
事実9: 「この熱蛍光線量計は螺子止めする」ということは成り立つ
事実10: その顔無しは御取り引きだ
事実11: あのランズマンは螺子止めする

仮説: その顔無しは螺子止めしない
1. 事実6から、仮説が否定される

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