The cow is cold. The squirrel is cold. If something is nice then it is red. If something visits the squirrel and the squirrel needs the cow then it is kind. If something needs the squirrel then the squirrel sees the cow. If something is red then it visits the cow. If something visits the cow then it needs the cow. All cold things are young. If something is red and it needs the cow then it is young. If something is cold then it is red.
The squirrel needs the cow.
@0: The cow is cold.[(triple1)] The squirrel is cold.[(triple2)] @1: The cow is red.[(((triple1) -> rule8))] The cow is young.[(((triple1) -> rule6) OR ((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule4)) -> rule5)) -> rule7))] The squirrel is red.[(((triple2) -> rule8))] The squirrel is young.[(((triple2) -> rule6) OR ((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7))] @2: The cow visits the cow.[(((((triple1) -> rule8)) -> rule4))] The squirrel visits the cow.[(((((triple2) -> rule8)) -> rule4))] @3: The cow needs the cow.[(((((((triple1) -> rule8)) -> rule4)) -> rule5))] The squirrel needs the cow.[(((((((triple2) -> rule8)) -> rule4)) -> rule5))]