Anne is nice. Erin is big. Gary is blue. Harry is nice. If someone is red then they are blue. Red people are cold. If Anne is big then Anne is young. If someone is young and cold then they are blue. All nice, big people are young. If Harry is nice then Harry is blue. If someone is nice then they are big. If someone is blue then they are young.
Harry is not big.
@0: Anne is nice.[(triple1)] Erin is big.[(triple2)] Gary is blue.[(triple3)] Harry is nice.[(triple4)] @1: Anne is big.[(((triple1) -> rule7))] Gary is young.[(((triple3) -> rule8))] Harry is big.[(((triple4) -> rule7))] Harry is blue.[(((triple4) -> rule6))] @2: Anne is young.[(((((triple1) -> rule7)) -> rule3) OR ((triple1 ((triple1) -> rule7)) -> rule5))] Harry is young.[(((((triple4) -> rule6)) -> rule8) OR ((triple4 ((triple4) -> rule7)) -> rule5))]