The cat chases the rabbit. The cat eats the rabbit. The cat is cold. The cat is green. The cat sees the rabbit. The dog chases the rabbit. The dog eats the rabbit. The dog is green. The dog is kind. The dog is red. The dog sees the cat. The dog sees the rabbit. The rabbit chases the cat. The rabbit is cold. The rabbit is red. The rabbit sees the dog. If someone chases the dog and they are kind then they chase the cat. If someone sees the rabbit and the rabbit is red then the rabbit sees the cat. If someone is red then they are kind. If someone eats the dog then they are red. All kind people are green. If someone chases the rabbit and they see the cat then the cat is rough. If someone is green and they eat the cat then the cat eats the rabbit. If the cat is kind then the cat is rough.
The cat does not chase the cat.
@0: The cat chases the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat sees the rabbit.[(triple5)] The dog chases the rabbit.[(triple6)] The dog eats the rabbit.[(triple7)] The dog is green.[(triple8 OR ((triple9) -> rule5) OR ((((triple10) -> rule3)) -> rule5))] The dog is kind.[(triple9 OR ((triple10) -> rule3))] The dog is red.[(triple10)] The dog sees the cat.[(triple11)] The dog sees the rabbit.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit is cold.[(triple14)] The rabbit is red.[(triple15)] The rabbit sees the dog.[(triple16)] @1: The cat is rough.[(((triple6 triple11) -> rule6))] The rabbit is kind.[(((triple15) -> rule3))] The rabbit sees the cat.[(((triple12 triple15) -> rule2) OR ((triple5 triple15) -> rule2))] @2: The rabbit is green.[(((((triple15) -> rule3)) -> rule5))]