The cat chases the dog. The cat eats the dog. The cat is blue. The cat is cold. The cat is kind. The cat is red. The cat is rough. The cat needs the dog. The dog eats the cat. The dog is blue. If something needs the cat then it eats the cat. If something eats the cat then it chases the cat. If something is rough then it needs the cat. If something chases the cat and the cat needs the dog then the dog eats the cat. If something eats the dog and it chases the dog then the dog is rough. If something is red then it chases the cat. If something eats the dog and it needs the dog then the dog eats the cat. If the dog needs the cat then the dog eats the cat.
The dog is blue.
@0: The cat chases the dog.[(triple1)] The cat eats the dog.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is kind.[(triple5)] The cat is red.[(triple6)] The cat is rough.[(triple7)] The cat needs the dog.[(triple8)] The dog eats the cat.[(triple9 OR ((triple2 triple8) -> rule7) OR ((((triple6) -> rule6) triple8) -> rule4) OR ((((((triple2 triple1) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2 triple1) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule2) triple8) -> rule4))] The dog is blue.[(triple10)] @1: The cat chases the cat.[(((triple6) -> rule6) OR ((((((triple7) -> rule3)) -> rule1)) -> rule2))] The cat needs the cat.[(((triple7) -> rule3))] The dog chases the cat.[(((triple9) -> rule2) OR ((((triple2 triple8) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) triple8) -> rule4)) -> rule2) OR ((((((((triple2 triple1) -> rule5)) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple2 triple1) -> rule5)) -> rule3)) -> rule8)) -> rule2) OR ((((((((((triple7) -> rule3)) -> rule1)) -> rule2) triple8) -> rule4)) -> rule2))] The dog is rough.[(((triple2 triple1) -> rule5))] @2: The cat eats the cat.[(((((triple7) -> rule3)) -> rule1))] The dog needs the cat.[(((((triple2 triple1) -> rule5)) -> rule3))]