The bear eats the cow. The bear sees the cow. The cow eats the bear. The cow is not rough. The cow does not see the bear. The mouse sees the bear. The mouse sees the cow. If something visits the bear and it sees the bear then the bear eats the mouse. If something is rough and not cold then it visits the bear. If something sees the cow then it visits the bear. If something eats the bear and it is cold then it is rough. If something visits the cow then it sees the cow. If the cow visits the mouse and the cow is young then the cow does not see the mouse. If something eats the mouse then the mouse is big. If the mouse does not visit the cow then the cow does not eat the mouse.
The mouse is big.
@0: The bear eats the cow.[(triple1)] The bear sees the cow.[(triple2)] The cow does not see the bear.[(triple5)] The cow eats the bear.[(triple3)] The cow is not rough.[(triple4)] The mouse sees the bear.[(triple6)] The mouse sees the cow.[(triple7)] @1: The bear visits the bear.[(((triple2) -> rule3))] The mouse visits the bear.[(((triple7) -> rule3))] @2: The bear eats the mouse.[(((((triple7) -> rule3) triple6) -> rule1))] @3: The mouse is big.[(((((((triple7) -> rule3) triple6) -> rule1)) -> rule7))]