Erin is kind. Fiona is red. Harry is rough. All green things are kind. All cold, green things are kind. If something is red then it is cold. If Fiona is cold then Fiona is blue. All red things are rough. If something is blue then it is not quiet.
Harry is rough.
@0: Erin is kind.[(triple1)] Fiona is red.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule3))] Fiona is rough.[(((triple2) -> rule5))] @2: Fiona is blue.[(((((triple2) -> rule3)) -> rule4))] @3: Fiona is not quiet.[(((((((triple2) -> rule3)) -> rule4)) -> rule6))]