あのぴくぴにゃLv.94は太し
fact1: もし「尋ね為さる」モンスターがいるとするとそのもなもちゃLv.3は美味しいしそれにそれは与え難い fact2: もし「与え難い」モンスターがいるとしたらそのもなもちゃLv.3は太しし美味しい fact3: あのぴくぴにゃLv.94は美味しい fact4: 「尋ね為さる」モンスターはいる fact5: もし何らかのモンスターが太しとするとあのぴくぴにゃLv.94は美味しいし与え難い fact6: 「乳臭い」モンスターはいる fact7: もしもそのもなもちゃLv.3が美味しいとすればあのぴくぴにゃLv.94は太し
fact4 & fact1 -> int1: 「そのもなもちゃLv.3は美味しいししかも与え難い」ということは成り立つ; int1 -> int2: そのもなもちゃLv.3は美味しい; int2 & fact7 -> hypothesis;
fact4 & fact1 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {B}{a}; int2 & fact7 -> hypothesis;
$facts$ = fact1: もし「尋ね為さる」モンスターがいるとするとそのもなもちゃLv.3は美味しいしそれにそれは与え難い fact2: もし「与え難い」モンスターがいるとしたらそのもなもちゃLv.3は太しし美味しい fact3: あのぴくぴにゃLv.94は美味しい fact4: 「尋ね為さる」モンスターはいる fact5: もし何らかのモンスターが太しとするとあのぴくぴにゃLv.94は美味しいし与え難い fact6: 「乳臭い」モンスターはいる fact7: もしもそのもなもちゃLv.3が美味しいとすればあのぴくぴにゃLv.94は太し ; $hypothesis$ = あのぴくぴにゃLv.94は太し ; $proof$ = 
fact4 & fact1 -> int1: 「そのもなもちゃLv.3は美味しいししかも与え難い」ということは成り立つ; int1 -> int2: そのもなもちゃLv.3は美味しい; int2 & fact7 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {B}{a}; int2 & fact7 -> hypothesis; __PROVED__