The cat eats the cow. The cat is rough. The cat is young. The cow eats the cat. The cow is blue. The cow is kind. The cow likes the cat. If someone eats the cow and the cow is rough then they eat the cat. If someone eats the cow and the cow likes the cat then the cat is rough. If someone chases the cat then they like the cow. If someone chases the cat and they eat the cat then they are rough. If someone likes the cat then they chase the cat. If someone likes the cat then the cat eats the cow.
The cat is not blue.
@0: The cat eats the cow.[(triple1 OR ((triple7) -> rule6))] The cat is rough.[(triple2 OR ((triple1 triple7) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule2))] The cat is young.[(triple3)] The cow eats the cat.[(triple4)] The cow is blue.[(triple5)] The cow is kind.[(triple6)] The cow likes the cat.[(triple7)] @1: The cow chases the cat.[(((triple7) -> rule5))] @2: The cow is rough.[(((((triple7) -> rule5) triple4) -> rule4))] The cow likes the cow.[(((((triple7) -> rule5)) -> rule3))] @3: The cat eats the cat.[(((triple1 ((((triple7) -> rule5) triple4) -> rule4)) -> rule1) OR ((((triple7) -> rule6) ((((triple7) -> rule5) triple4) -> rule4)) -> rule1))]