「この台どこは嘘っぽい」ということは成り立つ
fact1: この台どこは強化出来ない fact2: 図々しいということはないものは嘘っぽいしその上強化出来る fact3: 仮に何らかのものは水素でないならばそれは嘘っぽいということはない fact4: 仮にこの台どこが強化出来ないならば嘘っぽくない fact5: あの登記簿上は嘘っぽくない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
もし仮にこの台どこは水素でないならそれは嘘っぽくない
fact6 -> hypothesis;
$facts$ = fact1: この台どこは強化出来ない fact2: 図々しいということはないものは嘘っぽいしその上強化出来る fact3: 仮に何らかのものは水素でないならばそれは嘘っぽいということはない fact4: 仮にこの台どこが強化出来ないならば嘘っぽくない fact5: あの登記簿上は嘘っぽくない ; $hypothesis$ = 「この台どこは嘘っぽい」ということは成り立つ ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: この台どこは強化出来ない
事実2: 図々しいということはないものは嘘っぽいしその上強化出来る
事実3: 仮に何らかのものは水素でないならばそれは嘘っぽいということはない
事実4: 仮にこの台どこが強化出来ないならば嘘っぽくない
事実5: あの登記簿上は嘘っぽくない

仮説: 「この台どこは嘘っぽい」ということは成り立つ
1. 事実4と事実1から、仮説が否定される

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