The cat eats the dog. The cat is big. The cat is cold. The cat is red. The cat is round. The cat is not young. The cat visits the dog. The dog is big. The dog is young. The dog visits the cat. If something visits the cat and the cat is red then the cat eats the dog. If the dog chases the cat then the dog visits the cat. If something eats the dog then the dog eats the cat. All big things are red. If something chases the dog then it eats the dog. If the dog eats the cat and the dog visits the cat then the dog chases the cat. If the cat eats the dog then the cat chases the dog. If the cat eats the dog then the cat chases the dog.
The cat is young.
@0: The cat eats the dog.[(triple1 OR ((triple10 triple4) -> rule1) OR ((triple10 ((triple2) -> rule4)) -> rule1))] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is not young.[(triple6)] The cat is red.[(triple4 OR ((triple2) -> rule4))] The cat is round.[(triple5)] The cat visits the dog.[(triple7)] The dog is big.[(triple8)] The dog is young.[(triple9)] The dog visits the cat.[(triple10)] @1: The cat chases the dog.[(((triple1) -> rule7) OR ((triple1) -> rule8) OR ((((triple10 triple4) -> rule1)) -> rule7) OR ((((triple10 triple4) -> rule1)) -> rule8) OR ((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule7) OR ((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule8))] The dog eats the cat.[(((triple1) -> rule3) OR ((((triple10 triple4) -> rule1)) -> rule3) OR ((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule3))] The dog is red.[(((triple8) -> rule4))] @2: The dog chases the cat.[(((((triple1) -> rule3) triple10) -> rule6) OR ((((((triple10 triple4) -> rule1)) -> rule3) triple10) -> rule6) OR ((((((triple10 ((triple2) -> rule4)) -> rule1)) -> rule3) triple10) -> rule6))]