The cat chases the cow. The cat is big. The cat is cold. The cat is green. The cat is kind. The cat is young. The cat likes the cow. The cat sees the cow. The cow chases the cat. The cow is big. The cow is cold. The cow is kind. The cow is young. The cow likes the cat. The cow sees the cat. If something is young and it sees the cow then the cow likes the cat. If something chases the cow and the cow sees the cat then it is kind. If something is green and big then it sees the cat. If something likes the cat and the cat is young then the cat chases the cow. If something chases the cat and it sees the cow then the cat likes the cow. If something likes the cat and the cat chases the cow then the cat likes the cow. If the cow chases the cat and the cow is kind then the cat likes the cow. If something sees the cow then the cow likes the cat.
The cat does not see the cat.
@0: The cat chases the cow.[(triple1 OR ((triple14 triple6) -> rule4) OR ((((triple8) -> rule8) triple6) -> rule4) OR ((((triple6 triple8) -> rule1) triple6) -> rule4))] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5 OR ((triple1 triple15) -> rule2) OR ((((triple14 triple6) -> rule4) triple15) -> rule2) OR ((((((triple8) -> rule8) triple6) -> rule4) triple15) -> rule2) OR ((((((triple6 triple8) -> rule1) triple6) -> rule4) triple15) -> rule2))] The cat is young.[(triple6)] The cat likes the cow.[(triple7 OR ((triple14 triple1) -> rule6) OR ((triple9 triple12) -> rule7) OR ((triple14 ((triple14 triple6) -> rule4)) -> rule6) OR ((((triple8) -> rule8) triple1) -> rule6) OR ((((triple6 triple8) -> rule1) triple1) -> rule6) OR ((((triple8) -> rule8) ((triple14 triple6) -> rule4)) -> rule6) OR ((((triple6 triple8) -> rule1) ((triple14 triple6) -> rule4)) -> rule6) OR ((triple14 ((((triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((triple14 ((((triple6 triple8) -> rule1) triple6) -> rule4)) -> rule6) OR ((((triple8) -> rule8) ((((triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((triple8) -> rule8) ((((triple6 triple8) -> rule1) triple6) -> rule4)) -> rule6) OR ((((triple6 triple8) -> rule1) ((((triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((triple6 triple8) -> rule1) ((((triple6 triple8) -> rule1) triple6) -> rule4)) -> rule6))] The cat sees the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow is big.[(triple10)] The cow is cold.[(triple11)] The cow is kind.[(triple12)] The cow is young.[(triple13)] The cow likes the cat.[(triple14 OR ((triple8) -> rule8) OR ((triple6 triple8) -> rule1))] The cow sees the cat.[(triple15)] @1: The cat sees the cat.[(((triple4 triple2) -> rule3))]