このぷいぷくLv.70は極まりないし憎らしい
fact1: 嘆かわしくないモンスターは極まりないししかも他愛無い fact2: あのぽちゃぽえLv.25は他愛無くて更に嘆かわしい fact3: あのぽちゃぽえLv.25は他愛無いとすると「このぷいぷくLv.70は極まりなくない」ということは成り立たない fact4: このぷいぷくLv.70は憎らしい
fact2 -> int1: あのぽちゃぽえLv.25は他愛無い; int1 & fact3 -> int2: このぷいぷくLv.70は極まりない; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
あのぽちゃぽえLv.25は極まりない
fact5 -> int3: 仮にあのぽちゃぽえLv.25が嘆かわしくないならあのぽちゃぽえLv.25は極まりなくて他愛無い;
$facts$ = fact1: 嘆かわしくないモンスターは極まりないししかも他愛無い fact2: あのぽちゃぽえLv.25は他愛無くて更に嘆かわしい fact3: あのぽちゃぽえLv.25は他愛無いとすると「このぷいぷくLv.70は極まりなくない」ということは成り立たない fact4: このぷいぷくLv.70は憎らしい ; $hypothesis$ = このぷいぷくLv.70は極まりないし憎らしい ; $proof$ = 
fact2 -> int1: あのぽちゃぽえLv.25は他愛無い; int1 & fact3 -> int2: このぷいぷくLv.70は極まりない; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __PROVED__