The cat eats the rabbit. The cat is cold. The cat is green. The cat is nice. The cat is round. The cat is young. The cat likes the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is not cold. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. The rabbit does not like the cat. The rabbit visits the cat. If someone eats the cat and they are not nice then the cat does not eat the rabbit. If the cat is cold then the cat eats the rabbit. All nice people are young. If someone is green then they do not like the cat. If someone likes the cat then the cat visits the rabbit. If someone eats the rabbit and the rabbit does not eat the cat then the rabbit visits the cat. If someone likes the rabbit and they do not like the cat then the rabbit visits the cat. If someone likes the cat and the cat does not visit the rabbit then the cat likes the rabbit.
The cat is green.
@0: The cat eats the rabbit.[(triple1 OR ((triple2) -> rule2))] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6 OR ((triple4) -> rule3))] The cat likes the rabbit.[(triple7)] The cat visits the rabbit.[(triple8)] The rabbit does not like the cat.[(triple15 OR ((triple11) -> rule4))] The rabbit eats the cat.[(triple9)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is not cold.[(triple10)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14 OR ((triple12) -> rule3))] The rabbit visits the cat.[(triple16 OR ((triple7 ((triple3) -> rule4)) -> rule7))] @1: The cat does not like the cat.[(((triple3) -> rule4))]