Bob is blue. Fiona is white. Gary is big. If something is kind and not rough then it is nice. All nice, rough things are white. If something is kind and nice then it is white. White things are blue. Blue, kind things are not cold. All cold, white things are big. All white things are kind. If Fiona is blue then Fiona is white.
Fiona is not rough.
@0: Bob is blue.[(triple1)] Fiona is white.[(triple2)] Gary is big.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule4))] Fiona is kind.[(((triple2) -> rule7))] @2: Fiona is not cold.[(((((triple2) -> rule4) ((triple2) -> rule7)) -> rule5))]