Charlie is rough. Dave is furry. Erin is white. Harry is not red. Rough people are not white. If someone is smart and rough then they are white. Rough, smart people are not red. If someone is rough and not white then they are cold. If someone is cold and not red then they are round. All smart, cold people are not round. Cold, rough people are not round. If someone is white and smart then they are round.
Harry is rough.
@0: Charlie is rough.[(triple1)] Dave is furry.[(triple2)] Erin is white.[(triple3)] Harry is not red.[(triple4)] @1: Charlie is not white.[(((triple1) -> rule1))] @2: Charlie is cold.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: Charlie is not round.[(((((triple1 ((triple1) -> rule1)) -> rule4) triple1) -> rule7))]