このぷいぷえLv.28は御構い無い
fact1: このぽわぽにゃLv.23は上告する fact2: もし仮にあのぷよぷくLv.27が故無いとすればあのぷよぷくLv.27は設ける fact3: もし仮にこのぽわぽにゃLv.23が上告するとするとあのぷよぷくLv.27は故無い fact4: もし仮にあのぷよぷくLv.27が設けるとすればこのぷいぷえLv.28は御構い無い fact5: 仮に「このぷいぷえLv.28は故無い」ということは成り立つとするとこのぷいぷえLv.28は御構い無くないしそれに上告しない
fact3 & fact1 -> int1: あのぷよぷくLv.27は故無い; int1 & fact2 -> int2: あのぷよぷくLv.27は設ける; int2 & fact4 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
このぷいぷえLv.28は御構い無くない
$facts$ = fact1: このぽわぽにゃLv.23は上告する fact2: もし仮にあのぷよぷくLv.27が故無いとすればあのぷよぷくLv.27は設ける fact3: もし仮にこのぽわぽにゃLv.23が上告するとするとあのぷよぷくLv.27は故無い fact4: もし仮にあのぷよぷくLv.27が設けるとすればこのぷいぷえLv.28は御構い無い fact5: 仮に「このぷいぷえLv.28は故無い」ということは成り立つとするとこのぷいぷえLv.28は御構い無くないしそれに上告しない ; $hypothesis$ = このぷいぷえLv.28は御構い無い ; $proof$ = 
fact3 & fact1 -> int1: あのぷよぷくLv.27は故無い; int1 & fact2 -> int2: あのぷよぷくLv.27は設ける; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __PROVED__