Gary is blue. Gary is green. Gary is red. If Gary is green then Gary is big. Big, young things are cold. All young things are big. All cold, green things are red. If something is red then it is blue. If something is furry and red then it is young. If something is red and green then it is big. Big things are furry.
Gary is young.
@0: Gary is blue.[(triple1 OR ((triple3) -> rule5))] Gary is green.[(triple2)] Gary is red.[(triple3)] @1: Gary is big.[(((triple2) -> rule1) OR ((triple3 triple2) -> rule7))] @2: Gary is furry.[(((((triple2) -> rule1)) -> rule8) OR ((((triple3 triple2) -> rule7)) -> rule8))] @3: Gary is young.[(((((((triple2) -> rule1)) -> rule8) triple3) -> rule6) OR ((((((triple3 triple2) -> rule7)) -> rule8) triple3) -> rule6))] @4: Gary is cold.[(((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule8) triple3) -> rule6)) -> rule2) OR ((((triple2) -> rule1) ((((((triple3 triple2) -> rule7)) -> rule8) triple3) -> rule6)) -> rule2) OR ((((triple3 triple2) -> rule7) ((((((triple2) -> rule1)) -> rule8) triple3) -> rule6)) -> rule2) OR ((((triple3 triple2) -> rule7) ((((((triple3 triple2) -> rule7)) -> rule8) triple3) -> rule6)) -> rule2))]