The bear chases the squirrel. The bear is young. The rabbit chases the bear. The rabbit is nice. The rabbit is round. The rabbit likes the bear. The rabbit likes the tiger. The rabbit sees the tiger. The squirrel is young. The squirrel sees the rabbit. The squirrel sees the tiger. The tiger chases the bear. The tiger is nice. The tiger likes the bear. The tiger likes the rabbit. The tiger sees the bear. If someone chases the bear then they are round. If someone is nice and young then they see the rabbit. If someone is nice then they like the bear.
The bear is not young.
@0: The bear chases the squirrel.[(triple1)] The bear is young.[(triple2)] The rabbit chases the bear.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is round.[(triple5 OR ((triple3) -> rule1))] The rabbit likes the bear.[(triple6 OR ((triple4) -> rule3))] The rabbit likes the tiger.[(triple7)] The rabbit sees the tiger.[(triple8)] The squirrel is young.[(triple9)] The squirrel sees the rabbit.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger chases the bear.[(triple12)] The tiger is nice.[(triple13)] The tiger likes the bear.[(triple14 OR ((triple13) -> rule3))] The tiger likes the rabbit.[(triple15)] The tiger sees the bear.[(triple16)] @1: The tiger is round.[(((triple12) -> rule1))]