The bear is green. The lion eats the squirrel. The lion eats the tiger. The lion sees the squirrel. The squirrel eats the tiger. The tiger eats the bear. The tiger eats the squirrel. The tiger is young. The tiger sees the bear. The tiger visits the bear. If something sees the squirrel and it is young then the squirrel is green. If something eats the squirrel then it is rough. If the squirrel sees the bear and the bear sees the tiger then the bear sees the lion. Green things are rough. If something sees the squirrel then it eats the tiger. All rough things are young. If something is green then it is big. If something visits the squirrel and it visits the bear then the squirrel visits the bear.
The squirrel visits the bear.
@0: The bear is green.[(triple1)] The lion eats the squirrel.[(triple2)] The lion eats the tiger.[(triple3 OR ((triple4) -> rule5))] The lion sees the squirrel.[(triple4)] The squirrel eats the tiger.[(triple5)] The tiger eats the bear.[(triple6)] The tiger eats the squirrel.[(triple7)] The tiger is young.[(triple8 OR ((((triple7) -> rule2)) -> rule6))] The tiger sees the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear is big.[(((triple1) -> rule7))] The bear is rough.[(((triple1) -> rule4))] The lion is rough.[(((triple2) -> rule2))] The tiger is rough.[(((triple7) -> rule2))] @2: The bear is young.[(((((triple1) -> rule4)) -> rule6))] The lion is young.[(((((triple2) -> rule2)) -> rule6))] @3: The squirrel is green.[(((triple4 ((((triple2) -> rule2)) -> rule6)) -> rule1))] @4: The squirrel is big.[(((((triple4 ((((triple2) -> rule2)) -> rule6)) -> rule1)) -> rule7))] The squirrel is rough.[(((((triple4 ((((triple2) -> rule2)) -> rule6)) -> rule1)) -> rule4))] @5: The squirrel is young.[(((((((triple4 ((((triple2) -> rule2)) -> rule6)) -> rule1)) -> rule4)) -> rule6))]