The cat chases the rabbit. The cat is blue. The cat is red. The cat is rough. The dog chases the cat. The dog chases the squirrel. The dog visits the cat. The rabbit chases the cat. The rabbit chases the squirrel. The squirrel chases the dog. The squirrel is red. The squirrel is rough. The squirrel likes the dog. The squirrel likes the rabbit. The squirrel does not visit the dog. If someone is rough and not red then they are green. If the dog chases the rabbit and the rabbit is not rough then the rabbit does not visit the cat. If someone likes the dog then they like the rabbit. If someone chases the cat then they do not like the squirrel. If someone is red and they chase the rabbit then the rabbit visits the squirrel. If someone visits the squirrel then they like the dog. If someone is green and not blue then they like the dog. If the dog does not visit the squirrel then the dog likes the cat.
The rabbit likes the squirrel.
@0: The cat chases the rabbit.[(triple1)] The cat is blue.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4)] The dog chases the cat.[(triple5)] The dog chases the squirrel.[(triple6)] The dog visits the cat.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit chases the squirrel.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel does not visit the dog.[(triple15)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((triple13) -> rule3))] @1: The dog does not like the squirrel.[(((triple5) -> rule4))] The rabbit does not like the squirrel.[(((triple8) -> rule4))] The rabbit visits the squirrel.[(((triple3 triple1) -> rule5))] @2: The rabbit likes the dog.[(((((triple3 triple1) -> rule5)) -> rule6))] @3: The rabbit likes the rabbit.[(((((((triple3 triple1) -> rule5)) -> rule6)) -> rule3))]