なんらかのモンスターは進化し易いか揮発し易い
fact1: なんらかのモンスターは薄い fact2: もし仮に「薄い」モンスターがいるならこのみにょみくLv.10は薄い fact3: 「このみにょみくLv.10はエロい」ということは確かだ fact4: もし仮に「薄い」モンスターがいるとすればこのみにょみくLv.10は薄くてまた進化し易い fact5: そのぴちゅぴちょLv.57が薄いとするとこのみにょみくLv.10は奥深い fact6: このまにゅまちゅLv.44は達成し易い fact7: 「薄明るい」モンスターはいる
fact1 & fact4 -> int1: このみにょみくLv.10は薄いししかも進化し易い; int1 -> int2: このみにょみくLv.10は進化し易い; int2 -> int3: このみにょみくLv.10は進化し易いかあるいは揮発し易い; int3 -> hypothesis;
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 -> hypothesis;
「このみにょみくLv.10は奥深い」ということは成り立つ
$facts$ = fact1: なんらかのモンスターは薄い fact2: もし仮に「薄い」モンスターがいるならこのみにょみくLv.10は薄い fact3: 「このみにょみくLv.10はエロい」ということは確かだ fact4: もし仮に「薄い」モンスターがいるとすればこのみにょみくLv.10は薄くてまた進化し易い fact5: そのぴちゅぴちょLv.57が薄いとするとこのみにょみくLv.10は奥深い fact6: このまにゅまちゅLv.44は達成し易い fact7: 「薄明るい」モンスターはいる ; $hypothesis$ = なんらかのモンスターは進化し易いか揮発し易い ; $proof$ = 
fact1 & fact4 -> int1: このみにょみくLv.10は薄いししかも進化し易い; int1 -> int2: このみにょみくLv.10は進化し易い; int2 -> int3: このみにょみくLv.10は進化し易いかあるいは揮発し易い; int3 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 -> hypothesis; __PROVED__