そのブレーカーは生え易い
fact1: 「その名古屋高判昭は通じ易いかあるいは可愛くない」ということは間違っている fact2: 仮に「あるものは新一目均衡表であるけれど言い逃れない」ということは成り立たないとすると生え易い fact3: もしもそのブレーカーが通じ易いとしたらその名古屋高判昭は通じ易いか可愛くない fact4: 「その名古屋高判昭は可愛い」ということは確かだ fact5: そのブレーカーが新一目均衡表だがそれは言い逃れないとすれば「通じ易くない」ということは事実と異なる fact6: 「仮にそのブレーカーが新一目均衡表でないとしたらそのブレーカーは生え易い」ということは成り立つ fact7: もしも「とある物は新一目均衡表であるということはない」ということは成り立つとすればそれは生え易い
void -> assump1: 以下のように仮定する。そのブレーカーは新一目均衡表であるが言い逃れるということはない; fact5 & assump1 -> int1: そのブレーカーは通じ易い; int1 & fact3 -> int2: その名古屋高判昭は通じ易いか可愛くないかもしくはどちらもだ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのブレーカーは新一目均衡表だ一方でそれは言い逃れない」ということは間違っている; fact2 -> int5: 仮に「そのブレーカーは新一目均衡表だがしかし言い逃れない」ということは偽であるとすればそれは生え易い; int4 & int5 -> hypothesis;
$facts$ = fact1: 「その名古屋高判昭は通じ易いかあるいは可愛くない」ということは間違っている fact2: 仮に「あるものは新一目均衡表であるけれど言い逃れない」ということは成り立たないとすると生え易い fact3: もしもそのブレーカーが通じ易いとしたらその名古屋高判昭は通じ易いか可愛くない fact4: 「その名古屋高判昭は可愛い」ということは確かだ fact5: そのブレーカーが新一目均衡表だがそれは言い逃れないとすれば「通じ易くない」ということは事実と異なる fact6: 「仮にそのブレーカーが新一目均衡表でないとしたらそのブレーカーは生え易い」ということは成り立つ fact7: もしも「とある物は新一目均衡表であるということはない」ということは成り立つとすればそれは生え易い ; $hypothesis$ = そのブレーカーは生え易い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのブレーカーは新一目均衡表であるが言い逃れるということはない; fact5 & assump1 -> int1: そのブレーカーは通じ易い; int1 & fact3 -> int2: その名古屋高判昭は通じ易いか可愛くないかもしくはどちらもだ; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのブレーカーは新一目均衡表だ一方でそれは言い逃れない」ということは間違っている; fact2 -> int5: 仮に「そのブレーカーは新一目均衡表だがしかし言い逃れない」ということは偽であるとすればそれは生え易い; int4 & int5 -> hypothesis; __PROVED__
事実1: 「その名古屋高判昭は通じ易いかあるいは可愛くない」ということは間違っている
事実2: 仮に「あるものは新一目均衡表であるけれど言い逃れない」ということは成り立たないとすると生え易い
事実3: もしもそのブレーカーが通じ易いとしたらその名古屋高判昭は通じ易いか可愛くない
事実4: 「その名古屋高判昭は可愛い」ということは確かだ
事実5: そのブレーカーが新一目均衡表だがそれは言い逃れないとすれば「通じ易くない」ということは事実と異なる
事実6: 「仮にそのブレーカーが新一目均衡表でないとしたらそのブレーカーは生え易い」ということは成り立つ
事実7: もしも「とある物は新一目均衡表であるということはない」ということは成り立つとすればそれは生え易い

仮説: そのブレーカーは生え易い
1. 仮定1: 以下のように仮定する。そのブレーカーは新一目均衡表であるが言い逃れるということはない
2. 事実5と仮定1から、推論1: "そのブレーカーは通じ易い"が導かれる
3. 推論1と事実3から、推論2: "その名古屋高判昭は通じ易いか可愛くないかもしくはどちらもだ"が導かれる
4. 推論2と事実1から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのブレーカーは新一目均衡表だ一方でそれは言い逃れない」ということは間違っている"が導かれる
6. 事実2から、推論5: "仮に「そのブレーカーは新一目均衡表だがしかし言い逃れない」ということは偽であるとすればそれは生え易い"が導かれる
7. 推論4と推論5から、仮説が導かれる

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