The bear chases the rabbit. The bear eats the rabbit. The bear is big. The bear is green. The bear is nice. The bear is round. The bear is young. The bear visits the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. The rabbit visits the bear. If someone visits the rabbit then the rabbit eats the bear. If someone is big then they eat the bear. If someone eats the bear and the bear chases the rabbit then the bear is nice. If someone is round then they chase the bear. If someone is round and they eat the bear then they are green. If the bear is young then the bear eats the rabbit.
The bear does not chase the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2 OR ((triple7) -> rule6))] The bear is big.[(triple3)] The bear is green.[(triple4 OR ((triple6 ((triple3) -> rule2)) -> rule5))] The bear is nice.[(triple5 OR ((triple10 triple1) -> rule3) OR ((((triple11) -> rule2) triple1) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule3) OR ((((triple8) -> rule1) triple1) -> rule3))] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit chases the bear.[(triple9 OR ((triple14) -> rule4))] The rabbit eats the bear.[(triple10 OR ((triple11) -> rule2) OR ((triple8) -> rule1))] The rabbit is big.[(triple11)] The rabbit is green.[(triple12 OR ((triple14 triple10) -> rule5) OR ((triple14 ((triple11) -> rule2)) -> rule5) OR ((triple14 ((triple8) -> rule1)) -> rule5))] The rabbit is nice.[(triple13)] The rabbit is round.[(triple14)] The rabbit is young.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The bear chases the bear.[(((triple6) -> rule4))] The bear eats the bear.[(((triple3) -> rule2))]