The cow eats the rabbit. The cow eats the squirrel. The cow is green. The cow is red. The cow sees the rabbit. The cow does not visit the squirrel. The rabbit does not eat the cow. The rabbit is blue. The rabbit is red. The rabbit sees the cow. The rabbit does not see the squirrel. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel eats the cow. The squirrel does not see the rabbit. If the cow sees the squirrel and the cow is not green then the cow sees the rabbit. If someone visits the rabbit then the rabbit is not kind. If the squirrel does not visit the rabbit then the rabbit eats the cow. If someone visits the rabbit and the rabbit sees the cow then the cow visits the rabbit. If someone visits the squirrel then the squirrel is big. If someone sees the rabbit then they eat the squirrel. If someone sees the squirrel and they are not big then they see the rabbit. If someone is kind and they do not eat the squirrel then the squirrel is green.
The rabbit is big.
@0: The cow does not visit the squirrel.[(triple6)] The cow eats the rabbit.[(triple1)] The cow eats the squirrel.[(triple2 OR ((triple5) -> rule6))] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow sees the rabbit.[(triple5)] The rabbit does not eat the cow.[(triple7)] The rabbit does not see the squirrel.[(triple11)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9)] The rabbit sees the cow.[(triple10)] The rabbit visits the cow.[(triple12)] The rabbit visits the squirrel.[(triple13)] The squirrel does not see the rabbit.[(triple15)] The squirrel eats the cow.[(triple14)] @1: The squirrel is big.[(((triple13) -> rule5))]