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