Bob is green. Gary is furry. Gary is quiet. If something is furry then it is green. If something is cold then it is quiet. If something is green then it is big. If something is cold then it is young. If something is furry and big then it is cold. If Bob is big then Bob is quiet. If something is big then it is young. Quiet, young things are big.
Gary is red.
@0: Bob is green.[(triple1)] Gary is furry.[(triple2)] Gary is quiet.[(triple3 OR ((((triple2 ((((triple2) -> rule1)) -> rule3)) -> rule5)) -> rule2))] @1: Bob is big.[(((triple1) -> rule3))] Gary is green.[(((triple2) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule3)) -> rule6))] Bob is young.[(((((triple1) -> rule3)) -> rule7))] Gary is big.[(((((triple2) -> rule1)) -> rule3))] @3: Gary is cold.[(((triple2 ((((triple2) -> rule1)) -> rule3)) -> rule5))] Gary is young.[(((((((triple2) -> rule1)) -> rule3)) -> rule7) OR ((((triple2 ((((triple2) -> rule1)) -> rule3)) -> rule5)) -> rule4))]