「ちょろいとしたら陰気臭い一方で人間臭いということはない」モンスターはいる
fact1: ちょろいモンスターは陰気臭いがしかし人間臭くない fact2: もし仮にとあるモンスターが愛くるしいとしたら捨て難いししかも薄っぺらくない fact3: 「もし仮にちょろいとすれば陰気臭い」モンスターはいる fact4: 「もし「底深い」ということは確かであるとしたら望ましくない」モンスターはいる
fact1 -> int1: もし仮にあのまやまにゅLv.2がちょろいならばそれは陰気臭いが人間臭くない; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
「愛くるしいとしたら捨て難いし薄っぺらくない」モンスターはいる
fact5 -> int2: もしもあのまいまえLv.70が愛くるしいならあのまいまえLv.70は捨て難いがそれは薄っぺらくない; int2 -> hypothesis;
$facts$ = fact1: ちょろいモンスターは陰気臭いがしかし人間臭くない fact2: もし仮にとあるモンスターが愛くるしいとしたら捨て難いししかも薄っぺらくない fact3: 「もし仮にちょろいとすれば陰気臭い」モンスターはいる fact4: 「もし「底深い」ということは確かであるとしたら望ましくない」モンスターはいる ; $hypothesis$ = 「ちょろいとしたら陰気臭い一方で人間臭いということはない」モンスターはいる ; $proof$ = 
fact1 -> int1: もし仮にあのまやまにゅLv.2がちょろいならばそれは陰気臭いが人間臭くない; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__