Anne is blue. Erin is smart. Fiona is rough. Harry is cold. If Erin is furry and Erin is rough then Erin is blue. If something is cold then it is rough. If something is big and rough then it is quiet. If something is cold then it is smart. All smart, rough things are big. All furry things are smart. All smart, big things are quiet. All cold, smart things are rough.
Anne is furry.
@0: Anne is blue.[(triple1)] Erin is smart.[(triple2)] Fiona is rough.[(triple3)] Harry is cold.[(triple4)] @1: Harry is rough.[(((triple4) -> rule2) OR ((triple4 ((triple4) -> rule4)) -> rule8))] Harry is smart.[(((triple4) -> rule4))] @2: Harry is big.[(((((triple4) -> rule4) ((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule8)) -> rule5))] @3: Harry is quiet.[(((((triple4) -> rule4) ((((triple4) -> rule4) ((triple4) -> rule2)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4) -> rule2)) -> rule5) ((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) ((triple4) -> rule2)) -> rule5) ((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((((triple4) -> rule4) ((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule8)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule8)) -> rule5) ((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule8)) -> rule5) ((triple4 ((triple4) -> rule4)) -> rule8)) -> rule3))]