The bear eats the cow. The bear does not see the tiger. The cow is red. The cow is round. The cow needs the tiger. The tiger is nice. The tiger is not rough. If something sees the bear then the bear does not need the tiger. If something eats the tiger and it is not nice then the tiger sees the bear. If something is red then it does not see the tiger.
The cow is round.
@0: The bear does not see the tiger.[(triple2)] The bear eats the cow.[(triple1)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow needs the tiger.[(triple5)] The tiger is nice.[(triple6)] The tiger is not rough.[(triple7)] @1: The cow does not see the tiger.[(((triple3) -> rule3))]