The bear chases the rabbit. The bear eats the rabbit. The bear is big. The bear is green. The bear is kind. The bear is red. The bear likes the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is young. The rabbit likes the bear. If something likes the bear and it eats the bear then it chases the bear. If something eats the rabbit then it chases the bear. If something chases the bear then the bear is red.
The bear likes the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is big.[(triple3)] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear is red.[(triple6 OR ((triple8) -> rule3) OR ((((triple2) -> rule2)) -> rule3) OR ((((triple15 triple9) -> rule1)) -> rule3))] The bear likes the rabbit.[(triple7)] The rabbit chases the bear.[(triple8 OR ((triple15 triple9) -> rule1))] The rabbit eats the bear.[(triple9)] The rabbit is big.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is red.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the bear.[(triple15)] @1: The bear chases the bear.[(((triple2) -> rule2))]