The cat chases the dog. The cat eats the dog. The cat is blue. The cat is green. The cat is nice. The cat is round. The cat is young. The cat sees the dog. The dog chases the cat. The dog eats the cat. The dog is blue. The dog is green. The dog is nice. The dog is round. The dog is young. The dog sees the cat. If something is nice then it eats the dog. If something chases the dog and it is blue then it is nice. If something is young and it chases the dog then it sees the dog. If something sees the cat then it eats the cat. If something eats the dog and it chases the cat then it sees the dog. If something chases the cat and it sees the dog then the dog is nice. If something is nice and it chases the cat then the cat eats the dog. If something sees the dog then it chases the dog.
The cat sees the cat.
@0: The cat chases the dog.[(triple1 OR ((triple8) -> rule8))] The cat eats the dog.[(triple2 OR ((triple5) -> rule1) OR ((triple13 triple9) -> rule7) OR ((((triple1 triple3) -> rule2)) -> rule1) OR ((((((triple8) -> rule8) triple3) -> rule2)) -> rule1))] The cat is blue.[(triple3)] The cat is green.[(triple4)] The cat is nice.[(triple5 OR ((triple1 triple3) -> rule2) OR ((((triple8) -> rule8) triple3) -> rule2))] The cat is round.[(triple6)] The cat is young.[(triple7)] The cat sees the dog.[(triple8 OR ((triple7 triple1) -> rule3))] The dog chases the cat.[(triple9)] The dog eats the cat.[(triple10 OR ((triple16) -> rule4))] The dog is blue.[(triple11)] The dog is green.[(triple12)] The dog is nice.[(triple13)] The dog is round.[(triple14)] The dog is young.[(triple15)] The dog sees the cat.[(triple16)] @1: The dog eats the dog.[(((triple13) -> rule1))] @2: The dog sees the dog.[(((((triple13) -> rule1) triple9) -> rule5))] @3: The dog chases the dog.[(((((((triple13) -> rule1) triple9) -> rule5)) -> rule8))]