The bear chases the rabbit. The bear is young. The bear visits the rabbit. The rabbit chases the bear. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit needs the bear. The rabbit visits the bear. If something chases the rabbit and the rabbit visits the bear then the rabbit needs the bear. If something visits the bear then it chases the rabbit. If the bear visits the rabbit and the bear needs the rabbit then the rabbit is round. If the bear is red then the bear needs the rabbit. If something chases the bear then the bear chases the rabbit. If something needs the bear and the bear is round then the bear visits the rabbit. If something visits the bear and the bear visits the rabbit then the bear chases the rabbit. If something visits the rabbit then it chases the rabbit.
The bear needs the bear.
@0: The bear chases the rabbit.[(triple1 OR ((triple3) -> rule8) OR ((triple4) -> rule5) OR ((triple10 triple3) -> rule7))] The bear is young.[(triple2)] The bear visits the rabbit.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit is round.[(triple7)] The rabbit is young.[(triple8)] The rabbit needs the bear.[(triple9 OR ((triple1 triple10) -> rule1) OR ((((triple10) -> rule2) triple10) -> rule1) OR ((((triple3) -> rule8) triple10) -> rule1) OR ((((triple4) -> rule5) triple10) -> rule1) OR ((((triple10 triple3) -> rule7) triple10) -> rule1))] The rabbit visits the bear.[(triple10)] @1: The rabbit chases the rabbit.[(((triple10) -> rule2))]