Fiona is big. Fiona is furry. Fiona is red. If Fiona is furry then Fiona is cold. All smart, white things are red.
Fiona is rough.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule1))]