Charlie is smart. Erin is nice. If someone is smart then they are red. Cold, smart people are quiet. All round, red people are nice. Red people are round. If someone is cold and not round then they are white. If Erin is not smart and Erin is not quiet then Erin is not nice.
Charlie is round.
@0: Charlie is smart.[(triple1)] Erin is nice.[(triple2)] @1: Charlie is red.[(((triple1) -> rule1))] @2: Charlie is round.[(((((triple1) -> rule1)) -> rule4))] @3: Charlie is nice.[(((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule3))]