「その出しはＲＥＢＯであるかまたは獣染みないかもしくは両方だ」ということは誤りだ
fact1: もし仮に「このアイビは望ましくらないかあるいはそれは獣染みない」ということは成り立てば獣染みない fact2: もしもなんらかの物が転地するならそれは望ましい fact3: もし仮にその出しがＲＥＢＯならば転地する fact4: その出しはＲＥＢＯでない fact5: もしもなにがしかのものが捕らえ易いか床しかないかもしくは両方ともならば混和する fact6: 「あの地域計画は転地しない」ということは成り立つ fact7: もしもとある物がＲＥＢＯであるかあるいはそれが獣染みないかもしくは両方ともだとしたらそれは転地する fact8: その出しは望ましかない fact9: 「ＲＥＢＯは転地する」ということは確かだ
fact7 -> int1: もしその出しがＲＥＢＯであるかあるいはそれが獣染みないか両方ならそれは転地する; void -> assump1: 以下のように仮定する。その出しはＲＥＢＯであるか獣染みるということはないかもしくはどちらもだ; int1 & assump1 -> int2: その出しは転地する; fact2 -> int3: 仮にその出しは転地するとしたら「それは望ましい」ということは事実である; int2 & int3 -> int4: その出しは望ましい; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
もしもあの聖処女が捕らえ易いか床しかないとしたら混和する
fact10 -> hypothesis;
$facts$ = fact1: もし仮に「このアイビは望ましくらないかあるいはそれは獣染みない」ということは成り立てば獣染みない fact2: もしもなんらかの物が転地するならそれは望ましい fact3: もし仮にその出しがＲＥＢＯならば転地する fact4: その出しはＲＥＢＯでない fact5: もしもなにがしかのものが捕らえ易いか床しかないかもしくは両方ともならば混和する fact6: 「あの地域計画は転地しない」ということは成り立つ fact7: もしもとある物がＲＥＢＯであるかあるいはそれが獣染みないかもしくは両方ともだとしたらそれは転地する fact8: その出しは望ましかない fact9: 「ＲＥＢＯは転地する」ということは確かだ ; $hypothesis$ = 「その出しはＲＥＢＯであるかまたは獣染みないかもしくは両方だ」ということは誤りだ ; $proof$ = 
fact7 -> int1: もしその出しがＲＥＢＯであるかあるいはそれが獣染みないか両方ならそれは転地する; void -> assump1: 以下のように仮定する。その出しはＲＥＢＯであるか獣染みるということはないかもしくはどちらもだ; int1 & assump1 -> int2: その出しは転地する; fact2 -> int3: 仮にその出しは転地するとしたら「それは望ましい」ということは事実である; int2 & int3 -> int4: その出しは望ましい; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「このアイビは望ましくらないかあるいはそれは獣染みない」ということは成り立てば獣染みない
事実2: もしもなんらかの物が転地するならそれは望ましい
事実3: もし仮にその出しがＲＥＢＯならば転地する
事実4: その出しはＲＥＢＯでない
事実5: もしもなにがしかのものが捕らえ易いか床しかないかもしくは両方ともならば混和する
事実6: 「あの地域計画は転地しない」ということは成り立つ
事実7: もしもとある物がＲＥＢＯであるかあるいはそれが獣染みないかもしくは両方ともだとしたらそれは転地する
事実8: その出しは望ましかない
事実9: 「ＲＥＢＯは転地する」ということは確かだ

仮説: 「その出しはＲＥＢＯであるかまたは獣染みないかもしくは両方だ」ということは誤りだ
1. 事実7から、推論1: "もしその出しがＲＥＢＯであるかあるいはそれが獣染みないか両方ならそれは転地する"が導かれる
2. 仮定1: 以下のように仮定する。その出しはＲＥＢＯであるか獣染みるということはないかもしくはどちらもだ
3. 推論1と仮定1から、推論2: "その出しは転地する"が導かれる
4. 事実2から、推論3: "仮にその出しは転地するとしたら「それは望ましい」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "その出しは望ましい"が導かれる
6. 推論4と事実8から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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