Erin is cold. Fiona is not kind. Gary is rough. Harry is not smart. If Fiona is furry then Fiona is rough. All smart things are not furry. Kind things are young. All young things are blue. Rough things are kind. If something is furry and not rough then it is kind.
Fiona is not kind.
@0: Erin is cold.[(triple1)] Fiona is not kind.[(triple2)] Gary is rough.[(triple3)] Harry is not smart.[(triple4)] @1: Gary is kind.[(((triple3) -> rule5))] @2: Gary is young.[(((((triple3) -> rule5)) -> rule3))] @3: Gary is blue.[(((((((triple3) -> rule5)) -> rule3)) -> rule4))]