Charlie is cold. Charlie is furry. Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is white. Charlie is young. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is not quiet. Erin is white. Erin is young. All cold things are young. If something is furry and not cold then it is not young. Quiet, nice things are furry. If something is nice and young then it is furry. Cold, nice things are not quiet. If something is furry and not green then it is white. If something is young and quiet then it is white. If something is cold and not furry then it is not white.
Charlie is not quiet.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6 OR ((triple7 triple5) -> rule7) OR ((((triple1) -> rule1) triple5) -> rule7))] Charlie is young.[(triple7 OR ((triple1) -> rule1))] Erin is cold.[(triple8)] Erin is furry.[(triple9 OR ((triple11 triple14) -> rule4) OR ((triple11 ((triple8) -> rule1)) -> rule4))] Erin is green.[(triple10)] Erin is nice.[(triple11)] Erin is not quiet.[(triple12 OR ((triple8 triple11) -> rule5))] Erin is white.[(triple13)] Erin is young.[(triple14 OR ((triple8) -> rule1))]