あのまよまにゅLv.11は付け易いしおまけにそれは転び易い
fact1: あのまよまにゅLv.11は転び易い fact2: もし仮に遠くないモンスターが均衡するとしたらそれは付け易い fact3: 素晴らしないモンスターはし付けるし付け易い fact4: あのまよまにゅLv.11は遠くないがしかし均衡する fact5: もし仮に「そのもちょもいLv.75は素晴らしかもしくはそれは熱し易いかあるいは両方ともだ」ということは誤りであるとするとこのぽちゅぽわLv.77は素晴らしない fact6: このぽちゃぽちゃLv.68はいじましくて加えてそれは見境無い fact7: 「いじましい」モンスターはいるとすれば「そのもちょもいLv.75は素晴らしかあるいはそれは熱し易い」ということは成り立たない fact8: このぽちゅぽわLv.77が付け易いとするとあのもにょもねLv.13は付け易い
fact2 -> int1: もしあのまよまにゅLv.11が遠くない一方で均衡するとしたらそれは付け易い; int1 & fact4 -> int2: あのまよまにゅLv.11は付け易い; int2 & fact1 -> hypothesis;
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact1 -> hypothesis;
あのもにょもねLv.13は転び易い
fact11 -> int3: もし仮に「このぽちゅぽわLv.77は素晴らしない」ということは真実であるとしたらそれはし付けるしかつ付け易い; fact12 -> int4: このぽちゃぽちゃLv.68はいじましい; int4 -> int5: いじましいモンスターはいる; int5 & fact9 -> int6: 「そのもちょもいLv.75は素晴らしかまたは熱し易いか両方だ」ということは誤りである; fact13 & int6 -> int7: このぽちゅぽわLv.77は素晴らしない; int3 & int7 -> int8: このぽちゅぽわLv.77はし付けるし付け易い; int8 -> int9: このぽちゅぽわLv.77は付け易い; fact10 & int9 -> int10: あのもにょもねLv.13は付け易い;
$facts$ = fact1: あのまよまにゅLv.11は転び易い fact2: もし仮に遠くないモンスターが均衡するとしたらそれは付け易い fact3: 素晴らしないモンスターはし付けるし付け易い fact4: あのまよまにゅLv.11は遠くないがしかし均衡する fact5: もし仮に「そのもちょもいLv.75は素晴らしかもしくはそれは熱し易いかあるいは両方ともだ」ということは誤りであるとするとこのぽちゅぽわLv.77は素晴らしない fact6: このぽちゃぽちゃLv.68はいじましくて加えてそれは見境無い fact7: 「いじましい」モンスターはいるとすれば「そのもちょもいLv.75は素晴らしかあるいはそれは熱し易い」ということは成り立たない fact8: このぽちゅぽわLv.77が付け易いとするとあのもにょもねLv.13は付け易い ; $hypothesis$ = あのまよまにゅLv.11は付け易いしおまけにそれは転び易い ; $proof$ = 
fact2 -> int1: もしあのまよまにゅLv.11が遠くない一方で均衡するとしたらそれは付け易い; int1 & fact4 -> int2: あのまよまにゅLv.11は付け易い; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact1 -> hypothesis; __PROVED__