The cow is green. The cow is kind. The cow sees the mouse. The cow visits the mouse. The cow visits the tiger. The mouse sees the tiger. The squirrel is not cold. The squirrel does not see the cow. The squirrel visits the tiger. The tiger is green. The tiger is kind. The tiger needs the cow. The tiger sees the cow. The tiger sees the squirrel. The tiger visits the cow. The tiger visits the squirrel. If someone is blue then they do not need the mouse. If someone is green and they see the cow then they visit the mouse. All rough people are cold. If someone visits the mouse then they are rough. If someone is rough and they need the cow then the cow visits the mouse. If someone visits the mouse and they do not need the mouse then the mouse is not green.
The cow is not rough.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow sees the mouse.[(triple3)] The cow visits the mouse.[(triple4 OR ((((((triple10 triple13) -> rule2)) -> rule4) triple12) -> rule5))] The cow visits the tiger.[(triple5)] The mouse sees the tiger.[(triple6)] The squirrel does not see the cow.[(triple8)] The squirrel is not cold.[(triple7)] The squirrel visits the tiger.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger needs the cow.[(triple12)] The tiger sees the cow.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cow is rough.[(((triple4) -> rule4) OR ((((((((triple10 triple13) -> rule2)) -> rule4) triple12) -> rule5)) -> rule4))] The tiger visits the mouse.[(((triple10 triple13) -> rule2))] @2: The cow is cold.[(((((triple4) -> rule4)) -> rule3) OR ((((((((((triple10 triple13) -> rule2)) -> rule4) triple12) -> rule5)) -> rule4)) -> rule3))] The tiger is rough.[(((((triple10 triple13) -> rule2)) -> rule4))] @3: The tiger is cold.[(((((((triple10 triple13) -> rule2)) -> rule4)) -> rule3))]