Fiona is big. Gary is smart. If something is round then it is smart. If something is nice then it is blue. Big things are cold. All cold things are nice. Cold, rough things are round. If Fiona is nice and Fiona is round then Fiona is rough.
Fiona is big.
@0: Fiona is big.[(triple1)] Gary is smart.[(triple2)] @1: Fiona is cold.[(((triple1) -> rule3))] @2: Fiona is nice.[(((((triple1) -> rule3)) -> rule4))] @3: Fiona is blue.[(((((((triple1) -> rule3)) -> rule4)) -> rule2))]