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