The cat chases the cow. The cat is blue. The cat is round. The cat likes the cow. The cow chases the cat. The cow eats the cat. The cow is not blue. The cow is not kind. The cow is not red. The cow likes the cat. If the cow is blue and the cat does not like the cow then the cat does not eat the cow. If something chases the cat and it does not like the cow then the cat eats the cow. If something likes the cat then the cat is not big. If something is red and it does not like the cow then the cow does not chase the cat. If the cat chases the cow then the cow likes the cat. If something is red then it does not chase the cat. If something chases the cow and the cow is not big then it chases the cat. If something chases the cat and the cat is not red then the cat is not round.
The cat does not eat the cow.
@0: The cat chases the cow.[(triple1)] The cat is blue.[(triple2)] The cat is round.[(triple3)] The cat likes the cow.[(triple4)] The cow chases the cat.[(triple5)] The cow eats the cat.[(triple6)] The cow is not blue.[(triple7)] The cow is not kind.[(triple8)] The cow is not red.[(triple9)] The cow likes the cat.[(triple10 OR ((triple1) -> rule5))] @1: The cat is not big.[(((triple10) -> rule3) OR ((((triple1) -> rule5)) -> rule3))]