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