このみわみちゅLv.29は少なくて低し
fact1: もしもあのぷわぷわLv.96がけたたましいとしたらこのみわみちゅLv.29は少ない fact2: もしもあのぷわぷわLv.96が著しいならばそれはけたたましい fact3: 仮にあのまねまえLv.10が皮肉っぽいとすればこのみわみちゅLv.29は仕舞い易い fact4: あのまねまえLv.10が仕舞い易いとしたらあのぷわぷわLv.96はひもじい fact5: あのまねまえLv.10は皮肉っぽいかあるいは仕舞い易いかあるいは両方ともである fact6: このみわみちゅLv.29は低し fact7: もしあのまねまえLv.10が皮肉っぽいならばあのぷわぷわLv.96はひもじい fact8: もし仮にあのぷわぷわLv.96がひもじいとすると著しい
fact5 & fact7 & fact4 -> int1: あのぷわぷわLv.96はひもじい; int1 & fact8 -> int2: 「あのぷわぷわLv.96は著しい」ということは成り立つ; int2 & fact2 -> int3: あのぷわぷわLv.96はけたたましい; int3 & fact1 -> int4: このみわみちゅLv.29は少ない; int4 & fact6 -> hypothesis;
fact5 & fact7 & fact4 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{c}; int2 & fact2 -> int3: {E}{c}; int3 & fact1 -> int4: {F}{b}; int4 & fact6 -> hypothesis;
$facts$ = fact1: もしもあのぷわぷわLv.96がけたたましいとしたらこのみわみちゅLv.29は少ない fact2: もしもあのぷわぷわLv.96が著しいならばそれはけたたましい fact3: 仮にあのまねまえLv.10が皮肉っぽいとすればこのみわみちゅLv.29は仕舞い易い fact4: あのまねまえLv.10が仕舞い易いとしたらあのぷわぷわLv.96はひもじい fact5: あのまねまえLv.10は皮肉っぽいかあるいは仕舞い易いかあるいは両方ともである fact6: このみわみちゅLv.29は低し fact7: もしあのまねまえLv.10が皮肉っぽいならばあのぷわぷわLv.96はひもじい fact8: もし仮にあのぷわぷわLv.96がひもじいとすると著しい ; $hypothesis$ = このみわみちゅLv.29は少なくて低し ; $proof$ = 
fact5 & fact7 & fact4 -> int1: あのぷわぷわLv.96はひもじい; int1 & fact8 -> int2: 「あのぷわぷわLv.96は著しい」ということは成り立つ; int2 & fact2 -> int3: あのぷわぷわLv.96はけたたましい; int3 & fact1 -> int4: このみわみちゅLv.29は少ない; int4 & fact6 -> hypothesis; __PROVED__
fact5 & fact7 & fact4 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{c}; int2 & fact2 -> int3: {E}{c}; int3 & fact1 -> int4: {F}{b}; int4 & fact6 -> hypothesis; __PROVED__