The cat chases the rabbit. The cat is big. The cat is blue. The cat is not cold. The cat is not red. The cat is rough. The cat likes the rabbit. The cat needs the rabbit. The rabbit chases the cat. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit likes the cat. The rabbit does not need the cat. If something is blue then it likes the cat. If the rabbit is big and the rabbit is not rough then the rabbit chases the cat. If the cat needs the rabbit and the cat likes the rabbit then the cat chases the rabbit. If something chases the rabbit and the rabbit likes the cat then the cat likes the rabbit. If something likes the cat and it does not chase the cat then it chases the rabbit. If something chases the rabbit and it is not blue then the rabbit is cold.
The rabbit does not like the rabbit.
@0: The cat chases the rabbit.[(triple1 OR ((triple8 triple7) -> rule3))] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is not cold.[(triple4)] The cat is not red.[(triple5)] The cat is rough.[(triple6)] The cat likes the rabbit.[(triple7 OR ((triple1 triple15) -> rule4) OR ((triple1 ((triple11) -> rule1)) -> rule4))] The cat needs the rabbit.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit does not need the cat.[(triple16)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is red.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the cat.[(triple15 OR ((triple11) -> rule1))] @1: The cat likes the cat.[(((triple3) -> rule1))]