The bear chases the tiger. The bear is big. The bear is green. The bear is young. The bear likes the squirrel. The bear likes the tiger. The bear visits the tiger. The squirrel chases the bear. The squirrel is red. The squirrel is rough. The squirrel likes the bear. The tiger chases the bear. The tiger chases the squirrel. The tiger likes the bear. The tiger likes the squirrel. If the squirrel visits the bear and the squirrel is red then the bear visits the squirrel. If something chases the tiger then it is big. If something is young then it visits the bear. If something chases the bear and the bear visits the tiger then it chases the tiger. If the tiger chases the bear then the bear is rough. If something chases the squirrel and it is big then the squirrel visits the bear.
The tiger is young.
@0: The bear chases the tiger.[(triple1)] The bear is big.[(triple2 OR ((triple1) -> rule2))] The bear is green.[(triple3)] The bear is young.[(triple4)] The bear likes the squirrel.[(triple5)] The bear likes the tiger.[(triple6)] The bear visits the tiger.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel is red.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the bear.[(triple11)] The tiger chases the bear.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger likes the bear.[(triple14)] The tiger likes the squirrel.[(triple15)] @1: The bear is rough.[(((triple12) -> rule5))] The bear visits the bear.[(((triple4) -> rule3))] The squirrel chases the tiger.[(((triple8 triple7) -> rule4))] The tiger chases the tiger.[(((triple12 triple7) -> rule4))] @2: The squirrel is big.[(((((triple8 triple7) -> rule4)) -> rule2))] The tiger is big.[(((((triple12 triple7) -> rule4)) -> rule2))] @3: The squirrel visits the bear.[(((triple13 ((((triple12 triple7) -> rule4)) -> rule2)) -> rule6))] @4: The bear visits the squirrel.[(((((triple13 ((((triple12 triple7) -> rule4)) -> rule2)) -> rule6) triple9) -> rule1))]