「そのレギオンはＭＡ形態でないかまたは気怠いかあるいはどちらもである」ということは偽だ
fact1: 仮になんらかの物が開発教育であるということはないかまたはそれが山桃であるとすればその未開人はこよなくない fact2: もし仮にその未開人がこよなくないけれどそれがアイスモンブランだとしたらそのレギオンは決済リスクでない fact3: そのディザリングは開発教育だということはないかあるいは山桃であるかまたはどちらもである fact4: もしそのレギオンは決済リスクでないとしたら「ＭＡ形態でないかあるいは気怠いかもしくはどちらもだ」ということは成り立たない fact5: 「その未開人はアイスモンブランだ」ということは事実だ
fact3 -> int1: 「開発教育でないかあるいは山桃であるかどちらもな」物はある; int1 & fact1 -> int2: その未開人はこよなくない; int2 & fact5 -> int3: その未開人はこよなくないがしかしアイスモンブランだ; int3 & fact2 -> int4: そのレギオンは決済リスクだということはない; int4 & fact4 -> hypothesis;
$facts$ = fact1: 仮になんらかの物が開発教育であるということはないかまたはそれが山桃であるとすればその未開人はこよなくない fact2: もし仮にその未開人がこよなくないけれどそれがアイスモンブランだとしたらそのレギオンは決済リスクでない fact3: そのディザリングは開発教育だということはないかあるいは山桃であるかまたはどちらもである fact4: もしそのレギオンは決済リスクでないとしたら「ＭＡ形態でないかあるいは気怠いかもしくはどちらもだ」ということは成り立たない fact5: 「その未開人はアイスモンブランだ」ということは事実だ ; $hypothesis$ = 「そのレギオンはＭＡ形態でないかまたは気怠いかあるいはどちらもである」ということは偽だ ; $proof$ = 
fact3 -> int1: 「開発教育でないかあるいは山桃であるかどちらもな」物はある; int1 & fact1 -> int2: その未開人はこよなくない; int2 & fact5 -> int3: その未開人はこよなくないがしかしアイスモンブランだ; int3 & fact2 -> int4: そのレギオンは決済リスクだということはない; int4 & fact4 -> hypothesis; __PROVED__
事実1: 仮になんらかの物が開発教育であるということはないかまたはそれが山桃であるとすればその未開人はこよなくない
事実2: もし仮にその未開人がこよなくないけれどそれがアイスモンブランだとしたらそのレギオンは決済リスクでない
事実3: そのディザリングは開発教育だということはないかあるいは山桃であるかまたはどちらもである
事実4: もしそのレギオンは決済リスクでないとしたら「ＭＡ形態でないかあるいは気怠いかもしくはどちらもだ」ということは成り立たない
事実5: 「その未開人はアイスモンブランだ」ということは事実だ

仮説: 「そのレギオンはＭＡ形態でないかまたは気怠いかあるいはどちらもである」ということは偽だ
1. 事実3から、推論1: "「開発教育でないかあるいは山桃であるかどちらもな」物はある"が導かれる
2. 推論1と事実1から、推論2: "その未開人はこよなくない"が導かれる
3. 推論2と事実5から、推論3: "その未開人はこよなくないがしかしアイスモンブランだ"が導かれる
4. 推論3と事実2から、推論4: "そのレギオンは決済リスクだということはない"が導かれる
5. 推論4と事実4から、仮説が導かれる

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