そのくば笠は限局しない
fact1: そのくば笠は異星人だ fact2: その後ろ羽は限局する fact3: 仮にその後ろ羽が理解し易いとしたらそのくば笠は限局する fact4: その後ろ羽は理解し易い fact5: もし仮にその後ろ羽は限局するとすると「そのくば笠は理解し易い」ということは真実である
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
$facts$ = fact1: そのくば笠は異星人だ fact2: その後ろ羽は限局する fact3: 仮にその後ろ羽が理解し易いとしたらそのくば笠は限局する fact4: その後ろ羽は理解し易い fact5: もし仮にその後ろ羽は限局するとすると「そのくば笠は理解し易い」ということは真実である ; $hypothesis$ = そのくば笠は限局しない ; $proof$ = 
fact3 & fact4 -> hypothesis; __DISPROVED__
事実1: そのくば笠は異星人だ
事実2: その後ろ羽は限局する
事実3: 仮にその後ろ羽が理解し易いとしたらそのくば笠は限局する
事実4: その後ろ羽は理解し易い
事実5: もし仮にその後ろ羽は限局するとすると「そのくば笠は理解し易い」ということは真実である

仮説: そのくば笠は限局しない
1. 事実3と事実4から、仮説が否定される

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