あの保険原理はめぼしくない
fact1: この被験者群は見易くないがしかしそれはなさである fact2: この被験者群はめぼしい fact3: あの保険原理は見易い fact4: もしなにかは見易いということはないがしかしめぼしいならあの保険原理はなさでない fact5: 「とあるものはめぼしいしなさだ」ということは本当である fact6: もし「何らかの物は見易くないがなさである」ということは成り立つということはないとすればそれは見易い fact7: 「なさである」ものはある fact8: もし仮にあの二歳半が見易いとすればあの保険原理はめぼしい fact9: もしも何らかのものが見易いということはないがなさであるならあの保険原理はめぼしくない
fact1 -> int1: 何らかのものは見易くないけれどなさである; int1 & fact9 -> hypothesis;
fact1 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact9 -> hypothesis;
あの保険原理はめぼしい
fact11 -> int2: もし「あの二歳半は見易くない一方でなさである」ということは事実と異なるなら見易い;
$facts$ = fact1: この被験者群は見易くないがしかしそれはなさである fact2: この被験者群はめぼしい fact3: あの保険原理は見易い fact4: もしなにかは見易いということはないがしかしめぼしいならあの保険原理はなさでない fact5: 「とあるものはめぼしいしなさだ」ということは本当である fact6: もし「何らかの物は見易くないがなさである」ということは成り立つということはないとすればそれは見易い fact7: 「なさである」ものはある fact8: もし仮にあの二歳半が見易いとすればあの保険原理はめぼしい fact9: もしも何らかのものが見易いということはないがなさであるならあの保険原理はめぼしくない ; $hypothesis$ = あの保険原理はめぼしくない ; $proof$ = 
fact1 -> int1: 何らかのものは見易くないけれどなさである; int1 & fact9 -> hypothesis; __PROVED__
事実1: この被験者群は見易くないがしかしそれはなさである
事実2: この被験者群はめぼしい
事実3: あの保険原理は見易い
事実4: もしなにかは見易いということはないがしかしめぼしいならあの保険原理はなさでない
事実5: 「とあるものはめぼしいしなさだ」ということは本当である
事実6: もし「何らかの物は見易くないがなさである」ということは成り立つということはないとすればそれは見易い
事実7: 「なさである」ものはある
事実8: もし仮にあの二歳半が見易いとすればあの保険原理はめぼしい
事実9: もしも何らかのものが見易いということはないがなさであるならあの保険原理はめぼしくない

仮説: あの保険原理はめぼしくない
1. 事実1から、推論1: "何らかのものは見易くないけれどなさである"が導かれる
2. 推論1と事実9から、仮説が導かれる

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