The cat is red. The lion is kind. The lion likes the cat. The lion does not like the mouse. The lion likes the rabbit. The mouse is big. The mouse is not round. The mouse does not like the cat. The mouse likes the lion. The mouse likes the rabbit. The mouse needs the cat. The mouse does not need the rabbit. The rabbit is green. The rabbit is kind. The rabbit likes the cat. The rabbit needs the lion. If the mouse needs the rabbit then the mouse visits the lion. Kind people are red.
The lion needs the cat.
@0: The cat is red.[(triple1)] The lion does not like the mouse.[(triple4)] The lion is kind.[(triple2)] The lion likes the cat.[(triple3)] The lion likes the rabbit.[(triple5)] The mouse does not like the cat.[(triple8)] The mouse does not need the rabbit.[(triple12)] The mouse is big.[(triple6)] The mouse is not round.[(triple7)] The mouse likes the lion.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse needs the cat.[(triple11)] The rabbit is green.[(triple13)] The rabbit is kind.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit needs the lion.[(triple16)] @1: The lion is red.[(((triple2) -> rule2))] The rabbit is red.[(((triple14) -> rule2))]