Bob is red. Erin is blue. Fiona is red. Rough things are round. All cold, red things are blue. If something is blue then it is rough.
Fiona is not rough.
@0: Bob is red.[(triple1)] Erin is blue.[(triple2)] Fiona is red.[(triple3)] @1: Erin is rough.[(((triple2) -> rule3))] @2: Erin is round.[(((((triple2) -> rule3)) -> rule1))]