そのまえまにゃLv.7はえぐい
fact1: そのまえまにゃLv.7は強い fact2: もしもそのまえまにゃLv.7が折れ易いならばそれはえぐい fact3: 強いモンスターは折れ易い fact4: あのぷやぷにょLv.48は狭苦しくないし極まりなくない fact5: もしあのぷやぷにょLv.48が狭苦しくないとしたらあのぽやぽにょLv.62は入り易くないしネイティブらしくない
fact3 -> int1: もし「そのまえまにゃLv.7は強い」ということは本当であるとすると「そのまえまにゃLv.7は折れ易い」ということは真実だ; int1 & fact1 -> int2: そのまえまにゃLv.7は折れ易い; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact1 -> int2: {C}{aa}; int2 & fact2 -> hypothesis;
このぷくぷいLv.49は折れ易い
fact7 -> int3: あのぷやぷにょLv.48は狭苦しくない; fact6 & int3 -> int4: あのぽやぽにょLv.62は入り易くなくて加えてネイティブらしくない; int4 -> int5: あのぽやぽにょLv.62は入り易くない; int5 -> int6: 「入り易いということはない」モンスターはいる;
$facts$ = fact1: そのまえまにゃLv.7は強い fact2: もしもそのまえまにゃLv.7が折れ易いならばそれはえぐい fact3: 強いモンスターは折れ易い fact4: あのぷやぷにょLv.48は狭苦しくないし極まりなくない fact5: もしあのぷやぷにょLv.48が狭苦しくないとしたらあのぽやぽにょLv.62は入り易くないしネイティブらしくない ; $hypothesis$ = そのまえまにゃLv.7はえぐい ; $proof$ = 
fact3 -> int1: もし「そのまえまにゃLv.7は強い」ということは本当であるとすると「そのまえまにゃLv.7は折れ易い」ということは真実だ; int1 & fact1 -> int2: そのまえまにゃLv.7は折れ易い; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact1 -> int2: {C}{aa}; int2 & fact2 -> hypothesis; __PROVED__