The cat chases the dog. The cat is big. The cat is red. The cat is young. The cat likes the dog. The cat sees the dog. The dog chases the cat. The dog is big. The dog is kind. The dog likes the cat. If the cat sees the dog and the dog is kind then the cat likes the dog. If something is young then it is red. If something likes the cat then the cat is big. If the cat likes the dog then the cat sees the dog. If the cat sees the dog and the cat likes the dog then the cat is big. If something is red and it likes the dog then the dog likes the cat.
The dog is not kind.
@0: The cat chases the dog.[(triple1)] The cat is big.[(triple2 OR ((triple10) -> rule3) OR ((triple6 triple5) -> rule5) OR ((((triple3 triple5) -> rule6)) -> rule3) OR ((triple6 ((triple6 triple9) -> rule1)) -> rule5) OR ((((triple5) -> rule4) triple5) -> rule5) OR ((((triple5) -> rule4) ((triple6 triple9) -> rule1)) -> rule5) OR ((((triple3 ((triple6 triple9) -> rule1)) -> rule6)) -> rule3) OR ((((((triple4) -> rule2) triple5) -> rule6)) -> rule3) OR ((((((triple4) -> rule2) ((triple6 triple9) -> rule1)) -> rule6)) -> rule3))] The cat is red.[(triple3 OR ((triple4) -> rule2))] The cat is young.[(triple4)] The cat likes the dog.[(triple5 OR ((triple6 triple9) -> rule1))] The cat sees the dog.[(triple6 OR ((triple5) -> rule4))] The dog chases the cat.[(triple7)] The dog is big.[(triple8)] The dog is kind.[(triple9)] The dog likes the cat.[(triple10 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple6 triple9) -> rule1)) -> rule6) OR ((((triple4) -> rule2) triple5) -> rule6) OR ((((triple4) -> rule2) ((triple6 triple9) -> rule1)) -> rule6))]