Charlie is quiet. Fiona is kind. Fiona is red. All furry, quiet things are not cold. If something is cold then it is not quiet. If something is kind then it is quiet. Red, quiet things are furry. If something is cold and kind then it is furry. If something is furry and not cold then it is rough.
Charlie is not red.
@0: Charlie is quiet.[(triple1)] Fiona is kind.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule3))] @2: Fiona is furry.[(((triple3 ((triple2) -> rule3)) -> rule4))] @3: Fiona is not cold.[(((((triple3 ((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule1))] @4: Fiona is rough.[(((((triple3 ((triple2) -> rule3)) -> rule4) ((((triple3 ((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule1)) -> rule6))]