The bald eagle chases the cow. The bald eagle eats the cow. The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is rough. The bald eagle is young. The bald eagle sees the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow is cold. The cow is kind. The cow is rough. The cow is young. The cow sees the bald eagle. If someone is cold and they eat the cow then the cow eats the bald eagle. If someone is big and they eat the cow then they chase the cow. If someone is young and they chase the cow then the cow chases the bald eagle. If someone eats the cow then the cow is big. If the bald eagle is young and the bald eagle sees the cow then the bald eagle is kind. If someone eats the bald eagle and they eat the cow then they see the bald eagle.
The cow is kind.
@0: The bald eagle chases the cow.[(triple1 OR ((triple3 triple2) -> rule2))] The bald eagle eats the cow.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is kind.[(triple5 OR ((triple7 triple8) -> rule5))] The bald eagle is rough.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle sees the cow.[(triple8)] The cow chases the bald eagle.[(triple9 OR ((triple7 triple1) -> rule3) OR ((triple7 ((triple3 triple2) -> rule2)) -> rule3))] The cow eats the bald eagle.[(triple10 OR ((triple4 triple2) -> rule1))] The cow is cold.[(triple11)] The cow is kind.[(triple12)] The cow is rough.[(triple13)] The cow is young.[(triple14)] The cow sees the bald eagle.[(triple15)] @1: The cow is big.[(((triple2) -> rule4))]