The bald eagle eats the cow. The bald eagle is blue. The bald eagle is young. The bald eagle likes the cow. The cow eats the bald eagle. The cow is big. The cow is blue. The cow is cold. The cow is kind. The cow is young. The cow likes the bald eagle. The cow needs the bald eagle. If someone likes the cow and they eat the bald eagle then the cow is blue. If someone likes the cow then they are blue. If someone is kind then they need the cow. If someone likes the cow and the cow likes the bald eagle then they eat the cow. If the bald eagle likes the cow then the bald eagle needs the cow. If someone likes the cow and they eat the cow then the cow needs the bald eagle. If the bald eagle eats the cow then the cow needs the bald eagle. If someone is cold and they need the cow then they like the cow.
The bald eagle is kind.
@0: The bald eagle eats the cow.[(triple1 OR ((triple4 triple11) -> rule4))] The bald eagle is blue.[(triple2 OR ((triple4) -> rule2))] The bald eagle is young.[(triple3)] The bald eagle likes the cow.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow is big.[(triple6)] The cow is blue.[(triple7 OR ((((triple8 ((triple9) -> rule3)) -> rule8)) -> rule2) OR ((((triple8 ((triple9) -> rule3)) -> rule8) triple5) -> rule1))] The cow is cold.[(triple8)] The cow is kind.[(triple9)] The cow is young.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow needs the bald eagle.[(triple12 OR ((triple1) -> rule7) OR ((triple4 triple1) -> rule6) OR ((((triple4 triple11) -> rule4)) -> rule7) OR ((triple4 ((triple4 triple11) -> rule4)) -> rule6) OR ((((triple8 ((triple9) -> rule3)) -> rule8) ((((triple8 ((triple9) -> rule3)) -> rule8) triple11) -> rule4)) -> rule6))] @1: The bald eagle needs the cow.[(((triple4) -> rule5))] The cow needs the cow.[(((triple9) -> rule3))] @2: The cow likes the cow.[(((triple8 ((triple9) -> rule3)) -> rule8))] @3: The cow eats the cow.[(((((triple8 ((triple9) -> rule3)) -> rule8) triple11) -> rule4))]