The cow is big. The cow is rough. The cow is young. The cow likes the dog. The cow does not like the squirrel. The dog chases the cow. The dog is young. The dog likes the squirrel. The squirrel does not chase the dog. The squirrel is not young. The squirrel likes the cow. The squirrel likes the dog. If something is young then it is rough. If something chases the dog then the dog is big. If the squirrel does not chase the dog then the dog visits the cow. If something visits the cow then the cow chases the dog. If something is rough and it does not like the squirrel then the squirrel is not young. If something likes the squirrel then the squirrel chases the cow.
The cow does not chase the dog.
@0: The cow does not like the squirrel.[(triple5)] The cow is big.[(triple1)] The cow is rough.[(triple2 OR ((triple3) -> rule1))] The cow is young.[(triple3)] The cow likes the dog.[(triple4)] The dog chases the cow.[(triple6)] The dog is young.[(triple7)] The dog likes the squirrel.[(triple8)] The squirrel does not chase the dog.[(triple9)] The squirrel is not young.[(triple10 OR ((triple2 triple5) -> rule5) OR ((((triple3) -> rule1) triple5) -> rule5))] The squirrel likes the cow.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The dog is rough.[(((triple7) -> rule1))] The dog visits the cow.[(((triple9) -> rule3))] The squirrel chases the cow.[(((triple8) -> rule6))] @2: The cow chases the dog.[(((((triple9) -> rule3)) -> rule4))] @3: The dog is big.[(((((((triple9) -> rule3)) -> rule4)) -> rule2))]