The bear chases the rabbit. The bear is blue. The bear is red. The bear is rough. The bear is round. The bear is young. The bear likes the rabbit. The bear needs the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit is young. The rabbit likes the bear. The rabbit needs the bear. If something is round and it needs the bear then the bear chases the rabbit. If something chases the bear and the bear is rough then the bear is round. If the bear needs the rabbit then the bear chases the rabbit. If the bear is red then the bear likes the rabbit. If something is rough and round then it chases the bear. If something chases the bear then it chases the rabbit. If something is round then it likes the rabbit. If something likes the rabbit then it needs the rabbit.
The bear does not need the bear.
@0: The bear chases the rabbit.[(triple1 OR ((triple8) -> rule3) OR ((triple13 triple16) -> rule1) OR ((((triple7) -> rule8)) -> rule3) OR ((((triple4 triple5) -> rule5)) -> rule6) OR ((((((triple3) -> rule4)) -> rule8)) -> rule3) OR ((((((triple5) -> rule7)) -> rule8)) -> rule3) OR ((((triple4 ((triple9 triple4) -> rule2)) -> rule5)) -> rule6) OR ((((((((triple9 triple4) -> rule2)) -> rule7)) -> rule8)) -> rule3) OR ((((triple4 ((((triple12 triple13) -> rule5) triple4) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple12 triple13) -> rule5) triple4) -> rule2)) -> rule7)) -> rule8)) -> rule3))] The bear is blue.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5 OR ((triple9 triple4) -> rule2) OR ((((triple12 triple13) -> rule5) triple4) -> rule2))] The bear is young.[(triple6)] The bear likes the rabbit.[(triple7 OR ((triple3) -> rule4) OR ((triple5) -> rule7) OR ((((triple9 triple4) -> rule2)) -> rule7) OR ((((((triple12 triple13) -> rule5) triple4) -> rule2)) -> rule7))] The bear needs the rabbit.[(triple8 OR ((triple7) -> rule8) OR ((((triple3) -> rule4)) -> rule8) OR ((((triple5) -> rule7)) -> rule8) OR ((((((triple9 triple4) -> rule2)) -> rule7)) -> rule8) OR ((((((((triple12 triple13) -> rule5) triple4) -> rule2)) -> rule7)) -> rule8))] The rabbit chases the bear.[(triple9 OR ((triple12 triple13) -> rule5))] The rabbit is blue.[(triple10)] The rabbit is red.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit needs the bear.[(triple16)] @1: The bear chases the bear.[(((triple4 triple5) -> rule5) OR ((triple4 ((triple9 triple4) -> rule2)) -> rule5) OR ((triple4 ((((triple12 triple13) -> rule5) triple4) -> rule2)) -> rule5))] The rabbit chases the rabbit.[(((triple9) -> rule6) OR ((((triple12 triple13) -> rule5)) -> rule6))] The rabbit likes the rabbit.[(((triple13) -> rule7))] @2: The rabbit needs the rabbit.[(((((triple13) -> rule7)) -> rule8))]