The bear is green. The bear is round. The bear likes the squirrel. The bear does not see the cow. The bear visits the cow. The bear does not visit the squirrel. The cow is blue. The cow is green. The cow is red. The cow sees the bear. The cow sees the squirrel. The cow does not visit the bear. The squirrel likes the bear. The squirrel likes the cow. The squirrel visits the bear. The squirrel visits the cow. If someone sees the squirrel then they like the bear. If someone likes the squirrel and the squirrel does not visit the bear then they like the bear. If the squirrel is red then the squirrel is green. If the bear sees the squirrel then the bear is red. If someone likes the bear then the bear sees the squirrel. If someone sees the cow and the cow is red then they like the squirrel.
The squirrel sees the cow.
@0: The bear does not see the cow.[(triple4)] The bear does not visit the squirrel.[(triple6)] The bear is green.[(triple1)] The bear is round.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the cow.[(triple5)] The cow does not visit the bear.[(triple12)] The cow is blue.[(triple7)] The cow is green.[(triple8)] The cow is red.[(triple9)] The cow sees the bear.[(triple10)] The cow sees the squirrel.[(triple11)] The squirrel likes the bear.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The bear sees the squirrel.[(((triple13) -> rule5) OR ((((triple11) -> rule1)) -> rule5))] The cow likes the bear.[(((triple11) -> rule1))] @2: The bear is red.[(((((triple13) -> rule5)) -> rule4) OR ((((((triple11) -> rule1)) -> rule5)) -> rule4))] The bear likes the bear.[(((((triple13) -> rule5)) -> rule1) OR ((((((triple11) -> rule1)) -> rule5)) -> rule1))]