Anne is rough. Charlie is white. Fiona is furry. Gary is furry. All rough, smart things are white. If something is quiet and white then it is furry. If Gary is furry then Gary is quiet. All rough things are smart. If something is kind and smart then it is rough. If something is rough and white then it is quiet. If Anne is rough and Anne is kind then Anne is quiet. All quiet, furry things are smart.
Gary is not furry.
@0: Anne is rough.[(triple1)] Charlie is white.[(triple2)] Fiona is furry.[(triple3)] Gary is furry.[(triple4)] @1: Anne is smart.[(((triple1) -> rule4))] Gary is quiet.[(((triple4) -> rule3))] @2: Anne is white.[(((triple1 ((triple1) -> rule4)) -> rule1))] Gary is smart.[(((((triple4) -> rule3) triple4) -> rule8))] @3: Anne is quiet.[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule6))] @4: Anne is furry.[(((((triple1 ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule6) ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule2))]