The cat is big. The cat sees the squirrel. The cat visits the cow. The cat visits the squirrel. The cow chases the cat. The cow is big. The cow is rough. The cow does not visit the rabbit. The rabbit chases the cat. The rabbit is nice. The squirrel chases the cow. The squirrel chases the rabbit. The squirrel is big. The squirrel is not green. The squirrel visits the cow. The squirrel visits the rabbit. If something is rough and green then it does not visit the cat. If something sees the squirrel then the squirrel sees the cow. If something sees the cow and the cow chases the cat then the cow visits the squirrel.
The cow visits the squirrel.
@0: The cat is big.[(triple1)] The cat sees the squirrel.[(triple2)] The cat visits the cow.[(triple3)] The cat visits the squirrel.[(triple4)] The cow chases the cat.[(triple5)] The cow does not visit the rabbit.[(triple8)] The cow is big.[(triple6)] The cow is rough.[(triple7)] The rabbit chases the cat.[(triple9)] The rabbit is nice.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel is big.[(triple13)] The squirrel is not green.[(triple14)] The squirrel visits the cow.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel sees the cow.[(((triple2) -> rule2))] @2: The cow visits the squirrel.[(((((triple2) -> rule2) triple5) -> rule3))]