The bear eats the dog. The bear eats the rabbit. The bear is red. The bear is not round. The bear likes the rabbit. The dog chases the rabbit. The dog eats the rabbit. The dog is blue. The dog is round. The dog likes the bear. The rabbit chases the bear. The rabbit chases the dog. The rabbit eats the dog. The rabbit is green. The rabbit likes the bear. The rabbit does not like the dog. If someone chases the dog then the dog likes the rabbit. If the rabbit is round and the rabbit is red then the rabbit is not blue. If someone chases the rabbit then they like the bear. If the bear is green and the bear does not eat the dog then the dog does not eat the rabbit. If someone likes the dog and they are blue then the dog eats the rabbit. If someone likes the rabbit then they chase the dog. If someone eats the rabbit and they like the dog then the dog chases the rabbit. If someone chases the dog and they chase the rabbit then they do not eat the bear.
The bear chases the dog.
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is not round.[(triple4)] The bear is red.[(triple3)] The bear likes the rabbit.[(triple5)] The dog chases the rabbit.[(triple6)] The dog eats the rabbit.[(triple7)] The dog is blue.[(triple8)] The dog is round.[(triple9)] The dog likes the bear.[(triple10 OR ((triple6) -> rule3))] The rabbit chases the bear.[(triple11)] The rabbit chases the dog.[(triple12)] The rabbit does not like the dog.[(triple16)] The rabbit eats the dog.[(triple13)] The rabbit is green.[(triple14)] The rabbit likes the bear.[(triple15)] @1: The bear chases the dog.[(((triple5) -> rule6))] The dog likes the rabbit.[(((triple12) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] @2: The dog chases the dog.[(((((triple12) -> rule1)) -> rule6) OR ((((((triple5) -> rule6)) -> rule1)) -> rule6))] @3: The dog does not eat the bear.[(((((((triple12) -> rule1)) -> rule6) triple6) -> rule8) OR ((((((((triple5) -> rule6)) -> rule1)) -> rule6) triple6) -> rule8))]