The cat chases the dog. The cat is not kind. The cat does not see the dog. The cat visits the dog. The dog chases the cat. The dog is young. The dog does not see the cat. If something sees the dog then the dog sees the cat. If something chases the cat then the cat is round. If something chases the cat then it does not see the cat. If something is round then it chases the cat. If something sees the dog and it sees the cat then the cat is not blue. If something is round and it does not see the cat then it visits the dog. If something chases the dog and it visits the cat then it is not kind. If something sees the dog and it is not blue then the dog visits the cat.
The cat does not chase the cat.
@0: The cat chases the dog.[(triple1)] The cat does not see the dog.[(triple3)] The cat is not kind.[(triple2)] The cat visits the dog.[(triple4 OR ((((triple5) -> rule2) ((((((triple5) -> rule2)) -> rule4)) -> rule3)) -> rule6))] The dog chases the cat.[(triple5)] The dog does not see the cat.[(triple7 OR ((triple5) -> rule3))] The dog is young.[(triple6)] @1: The cat is round.[(((triple5) -> rule2))] @2: The cat chases the cat.[(((((triple5) -> rule2)) -> rule4))] @3: The cat does not see the cat.[(((((((triple5) -> rule2)) -> rule4)) -> rule3))]