The cat chases the rabbit. The cat is cold. The cat is green. The cat is red. The cat is round. The cat is young. The cat likes the rabbit. The cat needs the rabbit. The rabbit chases the cat. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit likes the cat. The rabbit needs the cat. If someone is cold and they like the rabbit then the rabbit chases the cat. If someone needs the cat and they are round then the cat is green. If someone needs the rabbit then they chase the rabbit. If someone is green then they need the cat. If someone likes the rabbit and the rabbit is cold then they chase the cat. If the rabbit chases the cat and the rabbit needs the cat then the rabbit is cold.
The rabbit does not chase the rabbit.
@0: The cat chases the rabbit.[(triple1 OR ((triple8) -> rule3))] The cat is cold.[(triple2)] The cat is green.[(triple3 OR ((triple16 triple13) -> rule2) OR ((((triple11) -> rule4) triple13) -> rule2))] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat likes the rabbit.[(triple7)] The cat needs the rabbit.[(triple8)] The rabbit chases the cat.[(triple9 OR ((triple2 triple7) -> rule1))] The rabbit is cold.[(triple10 OR ((triple9 triple16) -> rule6) OR ((triple9 ((triple11) -> rule4)) -> rule6) OR ((((triple2 triple7) -> rule1) triple16) -> rule6) OR ((((triple2 triple7) -> rule1) ((triple11) -> rule4)) -> rule6))] The rabbit is green.[(triple11)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit needs the cat.[(triple16 OR ((triple11) -> rule4))] @1: The cat chases the cat.[(((triple7 triple10) -> rule5) OR ((triple7 ((triple9 triple16) -> rule6)) -> rule5) OR ((triple7 ((triple9 ((triple11) -> rule4)) -> rule6)) -> rule5) OR ((triple7 ((((triple2 triple7) -> rule1) triple16) -> rule6)) -> rule5) OR ((triple7 ((((triple2 triple7) -> rule1) ((triple11) -> rule4)) -> rule6)) -> rule5))] The cat needs the cat.[(((triple3) -> rule4) OR ((((triple16 triple13) -> rule2)) -> rule4) OR ((((((triple11) -> rule4) triple13) -> rule2)) -> rule4))]