The cow is rough. The cow does not need the squirrel. The cow needs the tiger. The cow sees the tiger. The squirrel chases the tiger. The squirrel needs the cow. The squirrel needs the tiger. The squirrel sees the tiger. The tiger chases the cow. The tiger chases the squirrel. The tiger is cold. The tiger is kind. The tiger needs the cow. The tiger needs the squirrel. The tiger sees the cow. The tiger sees the squirrel. If someone is rough and cold then they do not chase the tiger. If someone is round then they do not chase the tiger. If the tiger is young and the tiger chases the cow then the cow is round. If the tiger is round and the tiger does not see the cow then the cow does not chase the squirrel. If someone needs the tiger then they are kind. If someone is kind then they are young.
The tiger does not need the tiger.
@0: The cow does not need the squirrel.[(triple2)] The cow is rough.[(triple1)] The cow needs the tiger.[(triple3)] The cow sees the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel needs the cow.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger needs the cow.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger sees the cow.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The cow is kind.[(((triple3) -> rule5))] The squirrel is kind.[(((triple7) -> rule5))] The tiger is young.[(((triple12) -> rule6))] @2: The cow is round.[(((((triple12) -> rule6) triple9) -> rule3))] The cow is young.[(((((triple3) -> rule5)) -> rule6))] The squirrel is young.[(((((triple7) -> rule5)) -> rule6))] @3: The cow does not chase the tiger.[(((((((triple12) -> rule6) triple9) -> rule3)) -> rule2))]