あのもいもちょLv.16は弱し
fact1: 仮にあのぷねぷわLv.64がだだっ広いとするとこのみにょみえLv.8は御めでたい fact2: もし仮になにがしかのモンスターが末恐ろしいならばだだっ広い fact3: あのぷねぷわLv.64は末恐ろしい fact4: もし仮にこのみにょみえLv.8が御めでたいとすればあのもいもちょLv.16は弱し
fact2 -> int1: もしも「あのぷねぷわLv.64は末恐ろしい」ということは成り立てば「だだっ広い」ということは本当である; int1 & fact3 -> int2: あのぷねぷわLv.64はだだっ広い; int2 & fact1 -> int3: このみにょみえLv.8は御めでたい; int3 & fact4 -> hypothesis;
fact2 -> int1: {A}{a} -> {B}{a}; int1 & fact3 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{b}; int3 & fact4 -> hypothesis;
$facts$ = fact1: 仮にあのぷねぷわLv.64がだだっ広いとするとこのみにょみえLv.8は御めでたい fact2: もし仮になにがしかのモンスターが末恐ろしいならばだだっ広い fact3: あのぷねぷわLv.64は末恐ろしい fact4: もし仮にこのみにょみえLv.8が御めでたいとすればあのもいもちょLv.16は弱し ; $hypothesis$ = あのもいもちょLv.16は弱し ; $proof$ = 
fact2 -> int1: もしも「あのぷねぷわLv.64は末恐ろしい」ということは成り立てば「だだっ広い」ということは本当である; int1 & fact3 -> int2: あのぷねぷわLv.64はだだっ広い; int2 & fact1 -> int3: このみにょみえLv.8は御めでたい; int3 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a} -> {B}{a}; int1 & fact3 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{b}; int3 & fact4 -> hypothesis; __PROVED__