The bear eats the cow. The cow is rough. If something visits the cow then it is not blue. If the bear is not rough then the bear is blue. If the bear is not big then the bear eats the cow. If something is nice then it eats the cow. All rough things are nice. If something visits the bear then the bear chases the cow.
The cow is not nice.
@0: The bear eats the cow.[(triple1)] The cow is rough.[(triple2)] @1: The cow is nice.[(((triple2) -> rule5))] @2: The cow eats the cow.[(((((triple2) -> rule5)) -> rule4))]