The bear chases the rabbit. The bear is big. The bear needs the rabbit. The rabbit chases the bear. The rabbit is round. The rabbit needs the bear. The rabbit sees the bear. If the rabbit sees the bear then the bear is big. If something is rough then it is big. If something needs the rabbit then the rabbit is rough. If something sees the rabbit then it chases the rabbit. If the bear chases the rabbit then the rabbit is round. If the rabbit is big and the rabbit chases the bear then the rabbit is young.
The bear sees the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2 OR ((triple7) -> rule1))] The bear needs the rabbit.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit is round.[(triple5 OR ((triple1) -> rule5))] The rabbit needs the bear.[(triple6)] The rabbit sees the bear.[(triple7)] @1: The rabbit is rough.[(((triple3) -> rule3))] @2: The rabbit is big.[(((((triple3) -> rule3)) -> rule2))] @3: The rabbit is young.[(((((((triple3) -> rule3)) -> rule2) triple4) -> rule6))]