Bob is cold. Erin is round. Harry is cold. Round people are nice. All round people are red.
Harry is cold.
@0: Bob is cold.[(triple1)] Erin is round.[(triple2)] Harry is cold.[(triple3)] @1: Erin is nice.[(((triple2) -> rule1))] Erin is red.[(((triple2) -> rule2))]