Erin is smart. Fiona is kind. Gary is round. Big things are not furry. White things are kind. If something is round then it is big. If something is white then it is quiet. All white, quiet things are not smart. If something is kind then it is white. If Gary is round then Gary is quiet. If Gary is not big and Gary is not kind then Gary is smart.
Fiona is not smart.
@0: Erin is smart.[(triple1)] Fiona is kind.[(triple2)] Gary is round.[(triple3)] @1: Fiona is white.[(((triple2) -> rule6))] Gary is big.[(((triple3) -> rule3))] Gary is quiet.[(((triple3) -> rule7))] @2: Fiona is quiet.[(((((triple2) -> rule6)) -> rule4))] Gary is not furry.[(((((triple3) -> rule3)) -> rule1))] @3: Fiona is not smart.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5))]