このもちゃもにゃLv.61は淡いということはない
fact1: このもちゃもにゃLv.61は泥臭いとすれば「このもちゃもにゃLv.61は淡い」ということは成り立つ fact2: もし仮に「「「保険給付しないし用い易い」ということは本当である」ということは事実でない」モンスターがいるならこのもちゃもにゃLv.61は吸収され難い fact3: 「「保険給付しなくてそれに用い易い」ということは成り立たない」モンスターはいる fact4: 仮にこのもちゃもにゃLv.61が吸収され難いとすればこのもちゃもにゃLv.61は泥臭い fact5: もしそのぷわぷちょLv.22は安堵し難くて大人らしいとすると淡いということはない fact6: あるモンスターは淡くないけれど吸収され難い fact7: もしもそのぷわぷちょLv.22が淡くないならそのぷわぷちょLv.22は泥臭くてかつそれは吸収され難い
fact3 & fact2 -> int1: このもちゃもにゃLv.61は吸収され難い; int1 & fact4 -> int2: このもちゃもにゃLv.61は泥臭い; int2 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {A}{a}; int1 & fact4 -> int2: {B}{a}; int2 & fact1 -> hypothesis;
そのぷわぷちょLv.22は吸収され難い
$facts$ = fact1: このもちゃもにゃLv.61は泥臭いとすれば「このもちゃもにゃLv.61は淡い」ということは成り立つ fact2: もし仮に「「「保険給付しないし用い易い」ということは本当である」ということは事実でない」モンスターがいるならこのもちゃもにゃLv.61は吸収され難い fact3: 「「保険給付しなくてそれに用い易い」ということは成り立たない」モンスターはいる fact4: 仮にこのもちゃもにゃLv.61が吸収され難いとすればこのもちゃもにゃLv.61は泥臭い fact5: もしそのぷわぷちょLv.22は安堵し難くて大人らしいとすると淡いということはない fact6: あるモンスターは淡くないけれど吸収され難い fact7: もしもそのぷわぷちょLv.22が淡くないならそのぷわぷちょLv.22は泥臭くてかつそれは吸収され難い ; $hypothesis$ = このもちゃもにゃLv.61は淡いということはない ; $proof$ = 
fact3 & fact2 -> int1: このもちゃもにゃLv.61は吸収され難い; int1 & fact4 -> int2: このもちゃもにゃLv.61は泥臭い; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {A}{a}; int1 & fact4 -> int2: {B}{a}; int2 & fact1 -> hypothesis; __DISPROVED__