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