The bear eats the tiger. The bear is green. The bear likes the squirrel. The bear visits the squirrel. The squirrel likes the bear. The tiger eats the bear. The tiger likes the bear. If the squirrel visits the bear and the bear visits the squirrel then the bear is green. If the tiger eats the bear then the bear eats the tiger.
The squirrel is not rough.
@0: The bear eats the tiger.[(triple1 OR ((triple6) -> rule2))] The bear is green.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the squirrel.[(triple4)] The squirrel likes the bear.[(triple5)] The tiger eats the bear.[(triple6)] The tiger likes the bear.[(triple7)]