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