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.
Erin is smart.
@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))]