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