Fiona is red. Fiona is young. Gary is rough. If Fiona is young and Fiona is smart then Fiona is rough. Red people are cold. If Gary is young and Gary is red then Gary is nice. All red, nice people are cold. If someone is red and nice then they are rough. All cold people are smart.
Gary is not smart.
@0: Fiona is red.[(triple1)] Fiona is young.[(triple2)] Gary is rough.[(triple3)] @1: Fiona is cold.[(((triple1) -> rule2))] @2: Fiona is smart.[(((((triple1) -> rule2)) -> rule6))] @3: Fiona is rough.[(((triple2 ((((triple1) -> rule2)) -> rule6)) -> rule1))]