The bald eagle chases the cow. The bald eagle is not kind. The bald eagle is round. The bear chases the tiger. The cow is red. The cow is round. The tiger sees the cow. If someone is young and they see the bald eagle then they see the bear. If someone chases the bear then the bear is young. If someone chases the tiger then they are rough. If someone chases the tiger then the tiger eats the bear. If the tiger is round and the tiger is kind then the tiger chases the bear. If someone is young then they see the bald eagle. If someone chases the cow then they chase the bear. If someone sees the bear then the bear chases the cow.
The bear chases the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is round.[(triple3)] The bear chases the tiger.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The tiger sees the cow.[(triple7)] @1: The bald eagle chases the bear.[(((triple1) -> rule7))] The bear is rough.[(((triple4) -> rule3))] The tiger eats the bear.[(((triple4) -> rule4))] @2: The bear is young.[(((((triple1) -> rule7)) -> rule2))] @3: The bear sees the bald eagle.[(((((((triple1) -> rule7)) -> rule2)) -> rule6))] @4: The bear sees the bear.[(((((((triple1) -> rule7)) -> rule2) ((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule1))] @5: The bear chases the cow.[(((((((((triple1) -> rule7)) -> rule2) ((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule1)) -> rule8))] @6: The bear chases the bear.[(((((((((((triple1) -> rule7)) -> rule2) ((((((triple1) -> rule7)) -> rule2)) -> rule6)) -> rule1)) -> rule8)) -> rule7))]