「その補助呼吸は差別するが縁遠いということはない」ということは間違いだ
fact1: その補助呼吸は薄い fact2: その背部は薄い fact3: 「あの過剰汎化は低過ぎるがしかし差別しない」ということは間違いだ fact4: その補助呼吸が差別するがしかし縁遠くないならそれは薄くない fact5: その補助呼吸は差別する fact6: なんらかのものは進化し易いとしたら「座り易いしそれは使い易くない」ということは間違いである
void -> assump1: 以下のように仮定する。その補助呼吸は差別するがしかしそれは縁遠くない; fact4 & assump1 -> int1: その補助呼吸は薄くない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
「このオレンジレンズは座り易いけど使い易くない」ということは成り立つということはない
fact7 -> int3: もしもこのオレンジレンズは進化し易いとすると「それは座り易いがしかし使い易くない」ということは嘘である;
$facts$ = fact1: その補助呼吸は薄い fact2: その背部は薄い fact3: 「あの過剰汎化は低過ぎるがしかし差別しない」ということは間違いだ fact4: その補助呼吸が差別するがしかし縁遠くないならそれは薄くない fact5: その補助呼吸は差別する fact6: なんらかのものは進化し易いとしたら「座り易いしそれは使い易くない」ということは間違いである ; $hypothesis$ = 「その補助呼吸は差別するが縁遠いということはない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その補助呼吸は差別するがしかしそれは縁遠くない; fact4 & assump1 -> int1: その補助呼吸は薄くない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その補助呼吸は薄い
事実2: その背部は薄い
事実3: 「あの過剰汎化は低過ぎるがしかし差別しない」ということは間違いだ
事実4: その補助呼吸が差別するがしかし縁遠くないならそれは薄くない
事実5: その補助呼吸は差別する
事実6: なんらかのものは進化し易いとしたら「座り易いしそれは使い易くない」ということは間違いである

仮説: 「その補助呼吸は差別するが縁遠いということはない」ということは間違いだ
1. 仮定1: 以下のように仮定する。その補助呼吸は差別するがしかしそれは縁遠くない
2. 事実4と仮定1から、推論1: "その補助呼吸は薄くない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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