Gary is young. Harry is young. If something is blue then it is green. If something is round then it is blue. If Gary is young then Gary is white. If Harry is furry and Harry is smart then Harry is green. If Harry is furry and Harry is young then Harry is green. White things are smart. All young things are round. All green things are smart.
Gary is not green.
@0: Gary is young.[(triple1)] Harry is young.[(triple2)] @1: Gary is round.[(((triple1) -> rule7))] Gary is white.[(((triple1) -> rule3))] Harry is round.[(((triple2) -> rule7))] @2: Gary is blue.[(((((triple1) -> rule7)) -> rule2))] Gary is smart.[(((((triple1) -> rule3)) -> rule6) OR ((((((((triple1) -> rule7)) -> rule2)) -> rule1)) -> rule8))] Harry is blue.[(((((triple2) -> rule7)) -> rule2))] @3: Gary is green.[(((((((triple1) -> rule7)) -> rule2)) -> rule1))] Harry is green.[(((((((triple2) -> rule7)) -> rule2)) -> rule1))] @4: Harry is smart.[(((((((((triple2) -> rule7)) -> rule2)) -> rule1)) -> rule8))]