そのみのみねLv.33は堪り易い
fact1: 仮にこのまやまちょLv.1が親しみ易いしそれが怪しいとすればそのみのみねLv.33は堪り易くない fact2: 親しみ易くないモンスターは怪しいし伝え易い fact3: もしなんらかのモンスターは呆気ないとすると「スピンするしおまけに堪り易くない」ということは嘘だ fact4: このまやまちょLv.1は伝え易い fact5: このまやまちょLv.1は親しみ易い fact6: もしもこのまやまちょLv.1が伝え易いとしたら怪しい fact7: あらゆるモンスターは呆気ない
fact6 & fact4 -> int1: 「このまやまちょLv.1は怪しい」ということは成り立つ; int1 & fact5 -> int2: このまやまちょLv.1は親しみ易いしかつ怪しい; int2 & fact1 -> hypothesis;
fact6 & fact4 -> int1: {B}{a}; int1 & fact5 -> int2: ({C}{a} & {B}{a}); int2 & fact1 -> hypothesis;
あのぽゆぽにゃLv.43は怪しい
fact9 -> int3: あのぽゆぽにゃLv.43が親しみ易くないとするとあのぽゆぽにゃLv.43は怪しいし伝え易い; fact8 -> int4: このまやまちょLv.1は呆気ないとすると「スピンするがしかし堪り易くない」ということは成り立たない; fact10 -> int5: このまやまちょLv.1は呆気ない; int4 & int5 -> int6: 「このまやまちょLv.1はスピンするけど堪り易くない」ということは偽だ; int6 -> int7: スピンするけど堪り易くないというモンスターはない; int7 -> int8: 「あのぽゆぽにゃLv.43はスピンするがそれは堪り易くない」ということは成り立つということはない;
$facts$ = fact1: 仮にこのまやまちょLv.1が親しみ易いしそれが怪しいとすればそのみのみねLv.33は堪り易くない fact2: 親しみ易くないモンスターは怪しいし伝え易い fact3: もしなんらかのモンスターは呆気ないとすると「スピンするしおまけに堪り易くない」ということは嘘だ fact4: このまやまちょLv.1は伝え易い fact5: このまやまちょLv.1は親しみ易い fact6: もしもこのまやまちょLv.1が伝え易いとしたら怪しい fact7: あらゆるモンスターは呆気ない ; $hypothesis$ = そのみのみねLv.33は堪り易い ; $proof$ = 
fact6 & fact4 -> int1: 「このまやまちょLv.1は怪しい」ということは成り立つ; int1 & fact5 -> int2: このまやまちょLv.1は親しみ易いしかつ怪しい; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact4 -> int1: {B}{a}; int1 & fact5 -> int2: ({C}{a} & {B}{a}); int2 & fact1 -> hypothesis; __DISPROVED__