The cat chases the rabbit. The cat is big. The cat is blue. The cat is not green. The cat is nice. The cat is red. The cat does not see the rabbit. The cat visits the rabbit. The rabbit chases the cat. The rabbit is blue. The rabbit is not green. The rabbit is nice. The rabbit is red. The rabbit sees the cat. The rabbit visits the cat. If something visits the rabbit then it does not visit the cat.
The rabbit chases the rabbit.
@0: The cat chases the rabbit.[(triple1)] The cat does not see the rabbit.[(triple7)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple5)] The cat is not green.[(triple4)] The cat is red.[(triple6)] The cat visits the rabbit.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is nice.[(triple12)] The rabbit is not green.[(triple11)] The rabbit is red.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The cat does not visit the cat.[(((triple8) -> rule1))]