Bob is red. Charlie is nice. Erin is smart. Gary is red. If someone is smart and not round then they are nice. Cold people are white. All smart people are cold.
Erin is not cold.
@0: Bob is red.[(triple1)] Charlie is nice.[(triple2)] Erin is smart.[(triple3)] Gary is red.[(triple4)] @1: Erin is cold.[(((triple3) -> rule3))] @2: Erin is white.[(((((triple3) -> rule3)) -> rule2))]