Charlie is cold. Charlie is not furry. Charlie is not nice. Charlie is quiet. Charlie is not red. Charlie is white. Charlie is young. Harry is not cold. Harry is furry. Harry is not nice. Harry is quiet. Harry is not red. Harry is white. Harry is young. If someone is red then they are not furry. Young people are not nice. All nice people are young. White people are young. If someone is red and not cold then they are white. If Harry is nice and Harry is not cold then Harry is not red. If Harry is furry and Harry is white then Harry is not nice. If someone is nice and not furry then they are quiet.
Charlie is young.
@0: Charlie is cold.[(triple1)] Charlie is not furry.[(triple2)] Charlie is not nice.[(triple3 OR ((triple7) -> rule2) OR ((((triple6) -> rule4)) -> rule2))] Charlie is not red.[(triple5)] Charlie is quiet.[(triple4)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule4))] Harry is furry.[(triple9)] Harry is not cold.[(triple8)] Harry is not nice.[(triple10 OR ((triple14) -> rule2) OR ((triple9 triple13) -> rule7) OR ((((triple13) -> rule4)) -> rule2))] Harry is not red.[(triple12)] Harry is quiet.[(triple11)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple13) -> rule4))]