「あの家禽は書き取らないがしかしそれは同調出来る」ということは成り立たない
fact1: 落ち易いものは書き取らないが同調出来る fact2: なにがしかの物は落ち易い fact3: 「落ち易くない」物はあるなら「あの家禽は書き取るし更に同調出来る」ということは偽だ fact4: もしなんらかの物は落ち易いということはないとすると「あの家禽は書き取らないがしかし同調出来る」ということは間違っている fact5: 「「あの家禽は書き取るし更に同調出来る」ということは嘘だ」ということは本当である fact6: 「落ち易いということはない」物はある fact7: もし何らかのものが溢れ落ちないし更に現われ易くないとしたら落ち易い
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
あの家禽は書き取らないが同調出来る
fact8 -> int1: もし仮にあの家禽が落ち易いとしたら書き取らなくてかつ同調出来る; fact9 -> int2: あの家禽が溢れ落ちないしさらに現われ易くないとすればそれは落ち易い;
$facts$ = fact1: 落ち易いものは書き取らないが同調出来る fact2: なにがしかの物は落ち易い fact3: 「落ち易くない」物はあるなら「あの家禽は書き取るし更に同調出来る」ということは偽だ fact4: もしなんらかの物は落ち易いということはないとすると「あの家禽は書き取らないがしかし同調出来る」ということは間違っている fact5: 「「あの家禽は書き取るし更に同調出来る」ということは嘘だ」ということは本当である fact6: 「落ち易いということはない」物はある fact7: もし何らかのものが溢れ落ちないし更に現われ易くないとしたら落ち易い ; $hypothesis$ = 「あの家禽は書き取らないがしかしそれは同調出来る」ということは成り立たない ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: 落ち易いものは書き取らないが同調出来る
事実2: なにがしかの物は落ち易い
事実3: 「落ち易くない」物はあるなら「あの家禽は書き取るし更に同調出来る」ということは偽だ
事実4: もしなんらかの物は落ち易いということはないとすると「あの家禽は書き取らないがしかし同調出来る」ということは間違っている
事実5: 「「あの家禽は書き取るし更に同調出来る」ということは嘘だ」ということは本当である
事実6: 「落ち易いということはない」物はある
事実7: もし何らかのものが溢れ落ちないし更に現われ易くないとしたら落ち易い

仮説: 「あの家禽は書き取らないがしかしそれは同調出来る」ということは成り立たない
1. 事実6と事実4から、仮説が導かれる

よって、仮説が証明されました。