Charlie is rough. Charlie is white. Charlie is not young. Erin is cold. Erin is not red. Erin is not round. Erin is not white. Erin is young. Harry is not cold. Harry is furry. Harry is red. Harry is not rough. Harry is round. Harry is white. Harry is young. If someone is rough then they are cold. If Erin is young and Erin is cold then Erin is not red. Furry people are red. If someone is round and rough then they are not furry. If Harry is red then Harry is young. If someone is young and not cold then they are white.
Charlie is round.
@0: Charlie is not young.[(triple3)] Charlie is rough.[(triple1)] Charlie is white.[(triple2)] Erin is cold.[(triple4)] Erin is not red.[(triple5 OR ((triple8 triple4) -> rule2))] Erin is not round.[(triple6)] Erin is not white.[(triple7)] Erin is young.[(triple8)] Harry is furry.[(triple10)] Harry is not cold.[(triple9)] Harry is not rough.[(triple12)] Harry is red.[(triple11 OR ((triple10) -> rule3))] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple15 triple9) -> rule6) OR ((((triple11) -> rule5) triple9) -> rule6) OR ((((((triple10) -> rule3)) -> rule5) triple9) -> rule6))] Harry is young.[(triple15 OR ((triple11) -> rule5) OR ((((triple10) -> rule3)) -> rule5))] @1: Charlie is cold.[(((triple1) -> rule1))]