あのぷちゃぷにょLv.74は酷いということはない
fact1: もしもそのぷにゃぷいLv.47が危ないし加えてそれが面映ゆいならあのぷちゃぷにょLv.74は酷いということはない fact2: そのぷにゃぷいLv.47は甘い fact3: 仮にそのぷにゃぷいLv.47が甘いとすれば弛み無い fact4: もし仮にそのぷにゃぷいLv.47が弛み無いとすれば危ない fact5: そのぷにゃぷいLv.47は面映ゆい
fact2 & fact3 -> int1: そのぷにゃぷいLv.47は弛み無い; fact4 & int1 -> int2: そのぷにゃぷいLv.47は危ない; int2 & fact5 -> int3: そのぷにゃぷいLv.47が危ないしその上それは面映ゆい; int3 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {A}{a}; fact4 & int1 -> int2: {B}{a}; int2 & fact5 -> int3: ({B}{a} & {C}{a}); int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのぷにゃぷいLv.47が危ないし加えてそれが面映ゆいならあのぷちゃぷにょLv.74は酷いということはない fact2: そのぷにゃぷいLv.47は甘い fact3: 仮にそのぷにゃぷいLv.47が甘いとすれば弛み無い fact4: もし仮にそのぷにゃぷいLv.47が弛み無いとすれば危ない fact5: そのぷにゃぷいLv.47は面映ゆい ; $hypothesis$ = あのぷちゃぷにょLv.74は酷いということはない ; $proof$ = 
fact2 & fact3 -> int1: そのぷにゃぷいLv.47は弛み無い; fact4 & int1 -> int2: そのぷにゃぷいLv.47は危ない; int2 & fact5 -> int3: そのぷにゃぷいLv.47が危ないしその上それは面映ゆい; int3 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {A}{a}; fact4 & int1 -> int2: {B}{a}; int2 & fact5 -> int3: ({B}{a} & {C}{a}); int3 & fact1 -> hypothesis; __PROVED__