The cow is green. The cow sees the lion. The lion visits the squirrel. The squirrel is rough. The squirrel is young. The squirrel sees the lion. The squirrel visits the lion. The tiger eats the squirrel. The tiger is young. The tiger visits the lion. If someone visits the lion then the lion sees the cow. If someone sees the cow then the cow is kind. If the lion is kind and the lion sees the cow then the cow is rough.
The cow is not rough.
@0: The cow is green.[(triple1)] The cow sees the lion.[(triple2)] The lion visits the squirrel.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)] The squirrel sees the lion.[(triple6)] The squirrel visits the lion.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is young.[(triple9)] The tiger visits the lion.[(triple10)] @1: The lion sees the cow.[(((triple10) -> rule1) OR ((triple7) -> rule1))] @2: The cow is kind.[(((((triple10) -> rule1)) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]