Erin is blue. Erin is furry. Erin is smart. Gary is cold. Gary is smart. Gary is young. Harry is quiet. All young things are furry. All quiet things are furry. If something is cold then it is not blue. If Harry is cold and Harry is smart then Harry is quiet. Furry things are big. All cold, blue things are smart.
Harry is not smart.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is smart.[(triple3)] Gary is cold.[(triple4)] Gary is smart.[(triple5)] Gary is young.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is big.[(((triple2) -> rule5))] Gary is furry.[(((triple6) -> rule1))] Gary is not blue.[(((triple4) -> rule3))] Harry is furry.[(((triple7) -> rule2))] @2: Gary is big.[(((((triple6) -> rule1)) -> rule5))] Harry is big.[(((((triple7) -> rule2)) -> rule5))]