The bald eagle does not see the cow. The bear does not chase the tiger. The cow is red. The tiger sees the bear. If something sees the bear then it is not round. If something chases the tiger then the tiger is nice. If something chases the bald eagle and the bald eagle likes the bear then it does not see the bald eagle.
The tiger is not nice.
@0: The bald eagle does not see the cow.[(triple1)] The bear does not chase the tiger.[(triple2)] The cow is red.[(triple3)] The tiger sees the bear.[(triple4)] @1: The tiger is not round.[(((triple4) -> rule1))]