The bear eats the cow. The bear likes the cow. The cow is green. The cow is rough. The cow likes the bear. The cow likes the squirrel. The cow visits the bear. The cow visits the squirrel. The squirrel eats the bear. The squirrel eats the cow. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel likes the cow. The squirrel visits the bear. The squirrel visits the cow. If someone is blue and they eat the squirrel then they visit the cow. If someone is green then they like the squirrel. If someone is cold and rough then they eat the bear. If someone is green then they like the cow. If someone likes the cow then they are cold. If the cow visits the squirrel then the cow is rough.
The cow does not visit the cow.
@0: The bear eats the cow.[(triple1)] The bear likes the cow.[(triple2)] The cow is green.[(triple3)] The cow is rough.[(triple4 OR ((triple8) -> rule6))] The cow likes the bear.[(triple5)] The cow likes the squirrel.[(triple6 OR ((triple3) -> rule2))] The cow visits the bear.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel eats the bear.[(triple9 OR ((triple11 triple13) -> rule3) OR ((((triple14) -> rule5) triple13) -> rule3) OR ((((((triple12) -> rule4)) -> rule5) triple13) -> rule3))] The squirrel eats the cow.[(triple10)] The squirrel is cold.[(triple11 OR ((triple14) -> rule5) OR ((((triple12) -> rule4)) -> rule5))] The squirrel is green.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the cow.[(triple14 OR ((triple12) -> rule4))] The squirrel visits the bear.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The bear is cold.[(((triple2) -> rule5))] The cow likes the cow.[(((triple3) -> rule4))] The squirrel likes the squirrel.[(((triple12) -> rule2))] @2: The cow is cold.[(((((triple3) -> rule4)) -> rule5))] @3: The cow eats the bear.[(((((((triple3) -> rule4)) -> rule5) triple4) -> rule3) OR ((((((triple3) -> rule4)) -> rule5) ((triple8) -> rule6)) -> rule3))]