The cat eats the rabbit. The cat is big. The cat is blue. The cat is cold. The cat is red. The cat is young. The cat needs the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit is young. The rabbit needs the cat. The rabbit visits the cat. If the cat is cold and the cat visits the rabbit then the cat eats the rabbit. If something is red and it eats the cat then it needs the rabbit. If something needs the rabbit and it needs the cat then the cat is young.
The rabbit does not visit the rabbit.
@0: The cat eats the rabbit.[(triple1 OR ((triple4 triple8) -> rule1))] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is red.[(triple5)] The cat is young.[(triple6 OR ((((triple13 triple9) -> rule2) triple15) -> rule3))] The cat needs the rabbit.[(triple7)] The cat visits the rabbit.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is red.[(triple13)] The rabbit is young.[(triple14)] The rabbit needs the cat.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The rabbit needs the rabbit.[(((triple13 triple9) -> rule2))]