The bald eagle eats the cow. The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is young. The bald eagle likes the cow. The bald eagle sees the cow. The cow is big. The cow is green. The cow likes the bald eagle. The cow sees the bald eagle. If the bald eagle eats the cow and the bald eagle is young then the bald eagle likes the cow. If the cow is kind then the cow eats the bald eagle. If the cow sees the bald eagle then the cow likes the bald eagle. If the cow eats the bald eagle then the cow likes the bald eagle. If something is green then it likes the bald eagle. If something likes the bald eagle and it is green then the bald eagle eats the cow.
The bald eagle is young.
@0: The bald eagle eats the cow.[(triple1 OR ((triple11 triple10) -> rule6) OR ((((triple10) -> rule5) triple10) -> rule6) OR ((((triple12) -> rule3) triple10) -> rule6) OR ((((triple3) -> rule5) triple3) -> rule6))] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the cow.[(triple7 OR ((triple1 triple6) -> rule1) OR ((((triple11 triple10) -> rule6) triple6) -> rule1) OR ((((((triple10) -> rule5) triple10) -> rule6) triple6) -> rule1) OR ((((((triple12) -> rule3) triple10) -> rule6) triple6) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule6) triple6) -> rule1))] The bald eagle sees the cow.[(triple8)] The cow is big.[(triple9)] The cow is green.[(triple10)] The cow likes the bald eagle.[(triple11 OR ((triple10) -> rule5) OR ((triple12) -> rule3))] The cow sees the bald eagle.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule5))]