The cat sees the rabbit. The dog chases the rabbit. The dog is not blue. The dog is rough. The rabbit chases the dog. The rabbit likes the dog. The rabbit does not see the cat. If the rabbit sees the dog and the dog likes the rabbit then the rabbit is rough. If the cat chases the rabbit then the rabbit is rough. If something chases the cat and it sees the cat then the cat chases the rabbit. If the rabbit does not see the cat then the cat chases the rabbit. If something is rough then it likes the cat. If something is big then it sees the rabbit. If the dog chases the cat then the cat is not green. If the dog is blue and the dog is big then the dog is green.
The cat likes the cat.
@0: The cat sees the rabbit.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is not blue.[(triple3)] The dog is rough.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit does not see the cat.[(triple7)] The rabbit likes the dog.[(triple6)] @1: The cat chases the rabbit.[(((triple7) -> rule4))] The dog likes the cat.[(((triple4) -> rule5))] @2: The rabbit is rough.[(((((triple7) -> rule4)) -> rule2))] @3: The rabbit likes the cat.[(((((((triple7) -> rule4)) -> rule2)) -> rule5))]