Bob is cold. Charlie is rough. Erin is green. Fiona is rough. Green things are round. If something is green then it is white. If Charlie is round and Charlie is white then Charlie is smart.
Bob is not round.
@0: Bob is cold.[(triple1)] Charlie is rough.[(triple2)] Erin is green.[(triple3)] Fiona is rough.[(triple4)] @1: Erin is round.[(((triple3) -> rule1))] Erin is white.[(((triple3) -> rule2))]