The bald eagle eats the cow. The bald eagle is big. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the cow. The bald eagle sees the cow. The cow eats the bald eagle. The cow is cold. The cow is kind. The cow is rough. The cow likes the bald eagle. The cow sees the bald eagle. If the cow is big then the cow is nice. If something likes the cow and the cow is nice then the cow likes the bald eagle. If something is kind and it sees the cow then the cow is cold. If something is big and it likes the cow then it eats the bald eagle. If something likes the cow then it eats the bald eagle. All big things are kind. If something is rough then it is big. If something is nice then it eats the cow.
The bald eagle is cold.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2 OR ((triple4) -> rule7))] The bald eagle is kind.[(triple3 OR ((triple2) -> rule6) OR ((((triple4) -> rule7)) -> rule6))] The bald eagle is rough.[(triple4)] The bald eagle likes the cow.[(triple5)] The bald eagle sees the cow.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow is cold.[(triple8 OR ((triple3 triple6) -> rule3) OR ((((triple2) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule7)) -> rule6) triple6) -> rule3))] The cow is kind.[(triple9 OR ((((triple10) -> rule7)) -> rule6))] The cow is rough.[(triple10)] The cow likes the bald eagle.[(triple11 OR ((triple5 ((((triple10) -> rule7)) -> rule1)) -> rule2))] The cow sees the bald eagle.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple5) -> rule5) OR ((triple2 triple5) -> rule4) OR ((((triple4) -> rule7) triple5) -> rule4))] The cow is big.[(((triple10) -> rule7))] @2: The cow is nice.[(((((triple10) -> rule7)) -> rule1))] @3: The cow eats the cow.[(((((((triple10) -> rule7)) -> rule1)) -> rule8))]