Charlie is young. Erin is white. Fiona is furry. All young people are kind. If someone is kind then they are white. Kind, young people are white. If Fiona is young then Fiona is not white. If someone is white then they are not quiet. If someone is furry and quiet then they are cold. If someone is kind and young then they are not cold. If someone is big and not quiet then they are not furry.
Charlie is not kind.
@0: Charlie is young.[(triple1)] Erin is white.[(triple2)] Fiona is furry.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule1))] Erin is not quiet.[(((triple2) -> rule5))] @2: Charlie is not cold.[(((((triple1) -> rule1) triple1) -> rule7))] Charlie is white.[(((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule3))] @3: Charlie is not quiet.[(((((((triple1) -> rule1)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1) triple1) -> rule3)) -> rule5))]