The cow is big. The cow visits the lion. The cow visits the mouse. The lion likes the squirrel. The mouse is kind. The mouse does not see the squirrel. The squirrel sees the cow. If someone likes the lion and the lion is rough then the lion likes the cow. If the squirrel visits the cow then the squirrel likes the cow. If someone likes the mouse then the mouse sees the squirrel. If someone visits the lion then the lion is big. If someone is rough then they do not like the squirrel. If someone is nice and big then they do not visit the cow. If someone is big then they are nice. If the squirrel sees the mouse and the squirrel is not green then the squirrel visits the lion.
The cow is not rough.
@0: The cow is big.[(triple1)] The cow visits the lion.[(triple2)] The cow visits the mouse.[(triple3)] The lion likes the squirrel.[(triple4)] The mouse does not see the squirrel.[(triple6)] The mouse is kind.[(triple5)] The squirrel sees the cow.[(triple7)] @1: The cow is nice.[(((triple1) -> rule7))] The lion is big.[(((triple2) -> rule4))] @2: The cow does not visit the cow.[(((((triple1) -> rule7) triple1) -> rule6))] The lion is nice.[(((((triple2) -> rule4)) -> rule7))] @3: The lion does not visit the cow.[(((((((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule6))]