「「あのぽわぽにLv.12は精根尽き果てるということはない一方でそれは追加する」ということは偽である」ということは事実だ
fact1: 「あのぽわぽにLv.12は精根尽き果てるし加えてそれは追加する」ということは誤りである fact2: もし仮にそのぴよぴちゅLv.87がスポーツするとしたらあのまのまにゅLv.73は説明為さる fact3: そのぴよぴちゅLv.87はスポーツする fact4: もし仮にあのまのまにゅLv.73は追加するとすれば「あのぽわぽにLv.12は精根尽き果てないがそれは追加する」ということは嘘だ fact5: 仮にあのまのまにゅLv.73は説明為されば「あのまのまにゅLv.73は追加する」ということは真実である
fact2 & fact3 -> int1: あのまのまにゅLv.73は説明為さる; int1 & fact5 -> int2: あのまのまにゅLv.73は追加する; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 「あのぽわぽにLv.12は精根尽き果てるし加えてそれは追加する」ということは誤りである fact2: もし仮にそのぴよぴちゅLv.87がスポーツするとしたらあのまのまにゅLv.73は説明為さる fact3: そのぴよぴちゅLv.87はスポーツする fact4: もし仮にあのまのまにゅLv.73は追加するとすれば「あのぽわぽにLv.12は精根尽き果てないがそれは追加する」ということは嘘だ fact5: 仮にあのまのまにゅLv.73は説明為されば「あのまのまにゅLv.73は追加する」ということは真実である ; $hypothesis$ = 「「あのぽわぽにLv.12は精根尽き果てるということはない一方でそれは追加する」ということは偽である」ということは事実だ ; $proof$ = 
fact2 & fact3 -> int1: あのまのまにゅLv.73は説明為さる; int1 & fact5 -> int2: あのまのまにゅLv.73は追加する; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __PROVED__