「そのぷちゅぷにゃLv.76は青臭い」ということは真実だ
fact1: もしもあのぴくぴねLv.65が如此しならば温め合う fact2: 仮にあのぴくぴねLv.65が絶え難くないとすると捻り上げるしかつ如此し fact3: あのぴくぴねLv.65は絶え難くない fact4: あのぴくぴねLv.65が温め合うとするとそのぷちゅぷにゃLv.76は青臭い
fact2 & fact3 -> int1: あのぴくぴねLv.65は捻り上げるし更にそれは如此し; int1 -> int2: 「あのぴくぴねLv.65は如此しということはない」ということは成り立たない; int2 & fact1 -> int3: あのぴくぴねLv.65は温め合う; int3 & fact4 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: もしもあのぴくぴねLv.65が如此しならば温め合う fact2: 仮にあのぴくぴねLv.65が絶え難くないとすると捻り上げるしかつ如此し fact3: あのぴくぴねLv.65は絶え難くない fact4: あのぴくぴねLv.65が温め合うとするとそのぷちゅぷにゃLv.76は青臭い ; $hypothesis$ = 「そのぷちゅぷにゃLv.76は青臭い」ということは真実だ ; $proof$ = 
fact2 & fact3 -> int1: あのぴくぴねLv.65は捻り上げるし更にそれは如此し; int1 -> int2: 「あのぴくぴねLv.65は如此しということはない」ということは成り立たない; int2 & fact1 -> int3: あのぴくぴねLv.65は温め合う; int3 & fact4 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __PROVED__