The bear is rough. The cat is big. The cow sees the bear. The mouse chases the cow. If someone is big then they do not chase the cat. If the mouse sees the bear then the mouse is not red. If someone sees the bear and the bear sees the cow then the bear sees the cat. If someone sees the cow and the cow chases the bear then the bear chases the cow. If someone is rough then they are red. If someone chases the bear then they visit the cow.
The bear visits the cow.
@0: The bear is rough.[(triple1)] The cat is big.[(triple2)] The cow sees the bear.[(triple3)] The mouse chases the cow.[(triple4)] @1: The bear is red.[(((triple1) -> rule5))] The cat does not chase the cat.[(((triple2) -> rule1))]