Anne is young. Gary is big. Harry is nice. If something is furry then it is nice. Blue, furry things are young. All big things are young. If something is young then it is furry. Young things are not blue. Big things are not blue. Nice, red things are big. If something is nice and not big then it is smart.
Gary is not smart.
@0: Anne is young.[(triple1)] Gary is big.[(triple2)] Harry is nice.[(triple3)] @1: Anne is furry.[(((triple1) -> rule4))] Anne is not blue.[(((triple1) -> rule5))] Gary is not blue.[(((triple2) -> rule6) OR ((((triple2) -> rule3)) -> rule5))] Gary is young.[(((triple2) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule4)) -> rule1))] Gary is furry.[(((((triple2) -> rule3)) -> rule4))] @3: Gary is nice.[(((((((triple2) -> rule3)) -> rule4)) -> rule1))]