この申し立ては選択し易くない
fact1: もし仮に何かはフラバンだとするとそれは選択し易くない fact2: もしこの申し立ては選択し易いとすると「その全摘は欧米先進諸国だ」ということは確かである fact3: この申し立ては著しい fact4: 「その全摘は御安い」ということは成り立つ fact5: 仮にその全摘が御安いならばあの申し立ては欧米先進諸国である fact6: もしこの申し立てはフラバンであるとすればそれは選択し易くない fact7: もしも御安くないものは欧米先進諸国であるということはないとすればそれは選択し易い fact8: フラバンは御安くないしおまけに欧米先進諸国でない fact9: もし仮になにがしかの物はフラバンであるかあるいは欧米先進諸国ならばそれは選択し易くない
fact5 & fact4 -> int1: この申し立ては欧米先進諸国だ; int1 -> int2: この申し立てはフラバンであるかあるいは欧米先進諸国である; fact9 -> int3: 仮にこの申し立てはフラバンであるかあるいは欧米先進諸国であるかあるいはどちらもだとすると「それは選択し易くない」ということは本当である; int2 & int3 -> hypothesis;
この申し立ては選択し易い
fact11 -> int4: この申し立ては御安くないしかつ欧米先進諸国であるということはないならば「それは選択し易い」ということは間違いでない; fact10 -> int5: もし仮にこの申し立てがフラバンならばそれは御安くないしかつ欧米先進諸国でない;
$facts$ = fact1: もし仮に何かはフラバンだとするとそれは選択し易くない fact2: もしこの申し立ては選択し易いとすると「その全摘は欧米先進諸国だ」ということは確かである fact3: この申し立ては著しい fact4: 「その全摘は御安い」ということは成り立つ fact5: 仮にその全摘が御安いならばあの申し立ては欧米先進諸国である fact6: もしこの申し立てはフラバンであるとすればそれは選択し易くない fact7: もしも御安くないものは欧米先進諸国であるということはないとすればそれは選択し易い fact8: フラバンは御安くないしおまけに欧米先進諸国でない fact9: もし仮になにがしかの物はフラバンであるかあるいは欧米先進諸国ならばそれは選択し易くない ; $hypothesis$ = この申し立ては選択し易くない ; $proof$ = 
fact5 & fact4 -> int1: この申し立ては欧米先進諸国だ; int1 -> int2: この申し立てはフラバンであるかあるいは欧米先進諸国である; fact9 -> int3: 仮にこの申し立てはフラバンであるかあるいは欧米先進諸国であるかあるいはどちらもだとすると「それは選択し易くない」ということは本当である; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に何かはフラバンだとするとそれは選択し易くない
事実2: もしこの申し立ては選択し易いとすると「その全摘は欧米先進諸国だ」ということは確かである
事実3: この申し立ては著しい
事実4: 「その全摘は御安い」ということは成り立つ
事実5: 仮にその全摘が御安いならばあの申し立ては欧米先進諸国である
事実6: もしこの申し立てはフラバンであるとすればそれは選択し易くない
事実7: もしも御安くないものは欧米先進諸国であるということはないとすればそれは選択し易い
事実8: フラバンは御安くないしおまけに欧米先進諸国でない
事実9: もし仮になにがしかの物はフラバンであるかあるいは欧米先進諸国ならばそれは選択し易くない

仮説: この申し立ては選択し易くない
1. 事実5と事実4から、推論1: "この申し立ては欧米先進諸国だ"が導かれる
2. 推論1から、推論2: "この申し立てはフラバンであるかあるいは欧米先進諸国である"が導かれる
3. 事実9から、推論3: "仮にこの申し立てはフラバンであるかあるいは欧米先進諸国であるかあるいはどちらもだとすると「それは選択し易くない」ということは本当である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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