Anne is big. Anne is quiet. Anne is white. Charlie is red. Gary is cold. Gary is furry. Harry is furry. Harry is not quiet. Harry is not red. Harry is smart. If something is white and not quiet then it is big. If something is red then it is big. If something is quiet and not white then it is big. Furry things are smart. All red things are not furry. If Gary is red and Gary is not smart then Gary is not cold.
Harry is red.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Charlie is red.[(triple4)] Gary is cold.[(triple5)] Gary is furry.[(triple6)] Harry is furry.[(triple7)] Harry is not quiet.[(triple8)] Harry is not red.[(triple9)] Harry is smart.[(triple10 OR ((triple7) -> rule4))] @1: Charlie is big.[(((triple4) -> rule2))] Charlie is not furry.[(((triple4) -> rule5))] Gary is smart.[(((triple6) -> rule4))]