Erin is not blue. Erin is cold. Erin is not quiet. Erin is red. Erin is not round. Erin is white. Erin is young. Harry is blue. Harry is cold. Harry is quiet. Harry is not red. Harry is round. Harry is white. Harry is young. If someone is red then they are white. If someone is red and not white then they are not young.
Harry is quiet.
@0: Erin is cold.[(triple2)] Erin is not blue.[(triple1)] Erin is not quiet.[(triple3)] Erin is not round.[(triple5)] Erin is red.[(triple4)] Erin is white.[(triple6 OR ((triple4) -> rule1))] Erin is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is not red.[(triple11)] Harry is quiet.[(triple10)] Harry is round.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]