The cow chases the squirrel. The cow eats the squirrel. The cow is blue. The cow is cold. The cow is not nice. The cow is young. The cow likes the squirrel. The squirrel chases the cow. The squirrel eats the cow. The squirrel is blue. The squirrel is not young. The squirrel likes the cow. If something eats the cow and it is not nice then the cow eats the squirrel. If something eats the squirrel and it is not round then it eats the cow. If something is cold and it chases the cow then it eats the cow. If the cow is not young then the cow does not like the squirrel. If something likes the cow then the cow is blue. If something eats the cow and the cow does not eat the squirrel then it is not blue.
The cow is young.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is blue.[(triple3 OR ((triple12) -> rule5))] The cow is cold.[(triple4)] The cow is not nice.[(triple5)] The cow is young.[(triple6)] The cow likes the squirrel.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is not young.[(triple11)] The squirrel likes the cow.[(triple12)]