この睡眠不足は各政党でない
fact1: この睡眠不足は商人らしい fact2: この睡眠不足は各政党だ fact3: あのウェブクライアントは各政党である fact4: もしも何らかの物が進み寄るということはないなら煙突であるしさらにそれは味わい深い fact5: 仮にあの御茶が煙突であるとしたらこの睡眠不足は三々だ fact6: この砲丸投げは各政党だ fact7: 三々は各政党でない
fact2 -> hypothesis;
fact2 -> hypothesis;
この睡眠不足は各政党だということはない
fact10 -> int1: もしもこの睡眠不足が三々ならばそれは各政党でない; fact8 -> int2: もしあの御茶が進み寄らないならそれが煙突だし味わい深い;
$facts$ = fact1: この睡眠不足は商人らしい fact2: この睡眠不足は各政党だ fact3: あのウェブクライアントは各政党である fact4: もしも何らかの物が進み寄るということはないなら煙突であるしさらにそれは味わい深い fact5: 仮にあの御茶が煙突であるとしたらこの睡眠不足は三々だ fact6: この砲丸投げは各政党だ fact7: 三々は各政党でない ; $hypothesis$ = この睡眠不足は各政党でない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この睡眠不足は商人らしい
事実2: この睡眠不足は各政党だ
事実3: あのウェブクライアントは各政党である
事実4: もしも何らかの物が進み寄るということはないなら煙突であるしさらにそれは味わい深い
事実5: 仮にあの御茶が煙突であるとしたらこの睡眠不足は三々だ
事実6: この砲丸投げは各政党だ
事実7: 三々は各政党でない

仮説: この睡眠不足は各政党でない
1. 事実2から、仮説が否定される

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