The bald eagle chases the dog. The bald eagle chases the rabbit. The bald eagle eats the dog. The bald eagle is kind. The dog chases the bald eagle. The dog is kind. The dog likes the bald eagle. The dog likes the rabbit. The dog likes the tiger. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is green. The rabbit likes the bald eagle. The tiger chases the bald eagle. The tiger chases the rabbit. The tiger is round. If something eats the bald eagle then the bald eagle chases the rabbit. All blue things are green. If the tiger eats the dog then the dog eats the rabbit. If something is green then it eats the bald eagle. If something chases the dog and it likes the rabbit then the rabbit is kind. If something chases the bald eagle and it is kind then it chases the dog. If something likes the dog then it is nice. All green, round things are nice.
The rabbit is not blue.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the rabbit.[(triple2 OR ((((triple12) -> rule4)) -> rule1))] The bald eagle eats the dog.[(triple3)] The bald eagle is kind.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is kind.[(triple6)] The dog likes the bald eagle.[(triple7)] The dog likes the rabbit.[(triple8)] The dog likes the tiger.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the tiger.[(triple11)] The rabbit is green.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The tiger chases the bald eagle.[(triple14)] The tiger chases the rabbit.[(triple15)] The tiger is round.[(triple16)] @1: The dog chases the dog.[(((triple5 triple6) -> rule6))] The rabbit eats the bald eagle.[(((triple12) -> rule4))] @2: The rabbit is kind.[(((((triple5 triple6) -> rule6) triple8) -> rule5))] @3: The rabbit chases the dog.[(((triple10 ((((triple5 triple6) -> rule6) triple8) -> rule5)) -> rule6))]