The bald eagle chases the cow. The bald eagle chases the rabbit. The bald eagle is young. The bald eagle likes the cow. The bald eagle likes the rabbit. The cow chases the bald eagle. The cow chases the rabbit. The cow eats the bald eagle. The cow eats the rabbit. The cow is blue. The cow likes the bald eagle. The cow likes the rabbit. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit likes the bald eagle. The rabbit likes the cow. If someone chases the rabbit then they are blue. If the rabbit is cold then the rabbit is big. If someone eats the rabbit then they chase the bald eagle. If someone is red and they like the cow then they eat the rabbit. If someone likes the bald eagle and the bald eagle likes the rabbit then they chase the rabbit. If someone is blue and they chase the rabbit then they chase the cow.
The rabbit eats the cow.
@0: The bald eagle chases the cow.[(triple1 OR ((((triple2) -> rule1) triple2) -> rule6))] The bald eagle chases the rabbit.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The cow chases the bald eagle.[(triple6 OR ((triple9) -> rule3))] The cow chases the rabbit.[(triple7 OR ((triple11 triple5) -> rule5))] The cow eats the bald eagle.[(triple8)] The cow eats the rabbit.[(triple9)] The cow is blue.[(triple10 OR ((triple7) -> rule1) OR ((((triple11 triple5) -> rule5)) -> rule1))] The cow likes the bald eagle.[(triple11)] The cow likes the rabbit.[(triple12)] The rabbit chases the bald eagle.[(triple13)] The rabbit eats the bald eagle.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit likes the cow.[(triple16)] @1: The bald eagle is blue.[(((triple2) -> rule1))] The cow chases the cow.[(((triple10 triple7) -> rule6) OR ((triple10 ((triple11 triple5) -> rule5)) -> rule6) OR ((((triple7) -> rule1) triple7) -> rule6) OR ((((triple7) -> rule1) ((triple11 triple5) -> rule5)) -> rule6) OR ((((((triple11 triple5) -> rule5)) -> rule1) triple7) -> rule6) OR ((((((triple11 triple5) -> rule5)) -> rule1) ((triple11 triple5) -> rule5)) -> rule6))] The rabbit chases the rabbit.[(((triple15 triple5) -> rule5))] @2: The rabbit is blue.[(((((triple15 triple5) -> rule5)) -> rule1))] @3: The rabbit chases the cow.[(((((((triple15 triple5) -> rule5)) -> rule1) ((triple15 triple5) -> rule5)) -> rule6))]