Erin is smart. Gary is white. Harry is white. If Gary is green then Gary is cold. If something is rough then it is blue. Furry things are blue. If something is rough then it is cold. If something is green and not smart then it is white. All rough, cold things are not furry. If Gary is white then Gary is green. All green, white things are rough.
Gary is not rough.
@0: Erin is smart.[(triple1)] Gary is white.[(triple2)] Harry is white.[(triple3)] @1: Gary is green.[(((triple2) -> rule7))] @2: Gary is cold.[(((((triple2) -> rule7)) -> rule1) OR ((((((triple2) -> rule7) triple2) -> rule8)) -> rule4))] Gary is rough.[(((((triple2) -> rule7) triple2) -> rule8))] @3: Gary is blue.[(((((((triple2) -> rule7) triple2) -> rule8)) -> rule2))] Gary is not furry.[(((((((triple2) -> rule7) triple2) -> rule8) ((((triple2) -> rule7)) -> rule1)) -> rule6) OR ((((((triple2) -> rule7) triple2) -> rule8) ((((((triple2) -> rule7) triple2) -> rule8)) -> rule4)) -> rule6))]