The cat eats the dog. The cat is not big. The cat is blue. The cat is red. The dog chases the cat. The dog is blue. The dog is red. If the cat is not red then the cat does not eat the dog. If something is blue then it sees the cat. If something eats the dog then it sees the dog. If something eats the dog then the dog does not eat the cat. If something sees the cat then it eats the dog. If something sees the dog and it does not eat the dog then it is not big.
The dog does not chase the cat.
@0: The cat eats the dog.[(triple1 OR ((((triple3) -> rule2)) -> rule5))] The cat is blue.[(triple3)] The cat is not big.[(triple2)] The cat is red.[(triple4)] The dog chases the cat.[(triple5)] The dog is blue.[(triple6)] The dog is red.[(triple7)] @1: The cat sees the cat.[(((triple3) -> rule2))] The cat sees the dog.[(((triple1) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3))] The dog does not eat the cat.[(((triple1) -> rule4) OR ((((((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple6) -> rule2)) -> rule5)) -> rule4))] The dog sees the cat.[(((triple6) -> rule2))] @2: The dog eats the dog.[(((((triple6) -> rule2)) -> rule5))] @3: The dog sees the dog.[(((((((triple6) -> rule2)) -> rule5)) -> rule3))]