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