このもやもやLv.99は焼け出すということはない
fact1: このぷにゃぷゆLv.36は大化けする fact2: もし「そのぷにぷゆLv.71は不味い」ということは本当だとしたらこのもやもやLv.99は伸ばし易い fact3: 「そのぷにぷゆLv.71は終わり掛ける」ということは事実ならそれは不味い fact4: もしもこのもやもやLv.99は伸ばし易くて加えておっそろしならば焼け出さない fact5: このもやもやLv.99はおっそろし fact6: このぷにゃぷゆLv.36が大化けするとしたらそのぷにぷゆLv.71は終わり掛ける fact7: このぷにゃぷゆLv.36は不味くない
fact6 & fact1 -> int1: そのぷにぷゆLv.71は終わり掛ける; int1 & fact3 -> int2: 「そのぷにぷゆLv.71は不味い」ということは事実だ; int2 & fact2 -> int3: 「このもやもやLv.99は伸ばし易い」ということは成り立つ; int3 & fact5 -> int4: このもやもやLv.99は伸ばし易くておっそろし; int4 & fact4 -> hypothesis;
fact6 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{c}; int3 & fact5 -> int4: ({D}{c} & {E}{c}); int4 & fact4 -> hypothesis;
このもやもやLv.99は焼け出す
$facts$ = fact1: このぷにゃぷゆLv.36は大化けする fact2: もし「そのぷにぷゆLv.71は不味い」ということは本当だとしたらこのもやもやLv.99は伸ばし易い fact3: 「そのぷにぷゆLv.71は終わり掛ける」ということは事実ならそれは不味い fact4: もしもこのもやもやLv.99は伸ばし易くて加えておっそろしならば焼け出さない fact5: このもやもやLv.99はおっそろし fact6: このぷにゃぷゆLv.36が大化けするとしたらそのぷにぷゆLv.71は終わり掛ける fact7: このぷにゃぷゆLv.36は不味くない ; $hypothesis$ = このもやもやLv.99は焼け出すということはない ; $proof$ = 
fact6 & fact1 -> int1: そのぷにぷゆLv.71は終わり掛ける; int1 & fact3 -> int2: 「そのぷにぷゆLv.71は不味い」ということは事実だ; int2 & fact2 -> int3: 「このもやもやLv.99は伸ばし易い」ということは成り立つ; int3 & fact5 -> int4: このもやもやLv.99は伸ばし易くておっそろし; int4 & fact4 -> hypothesis; __PROVED__
fact6 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> int3: {D}{c}; int3 & fact5 -> int4: ({D}{c} & {E}{c}); int4 & fact4 -> hypothesis; __PROVED__