Charlie is rough. Erin is white. Fiona is young. Harry is cold. Cold things are red. If something is white and young then it is kind. All cold things are kind. If Harry is rough then Harry is kind. If Erin is red then Erin is young. If something is rough then it is cold. If Erin is quiet and Erin is red then Erin is young. All quiet, cold things are white.
Harry is not white.
@0: Charlie is rough.[(triple1)] Erin is white.[(triple2)] Fiona is young.[(triple3)] Harry is cold.[(triple4)] @1: Charlie is cold.[(((triple1) -> rule6))] Harry is kind.[(((triple4) -> rule3))] Harry is red.[(((triple4) -> rule1))] @2: Charlie is kind.[(((((triple1) -> rule6)) -> rule3))] Charlie is red.[(((((triple1) -> rule6)) -> rule1))]