Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is not red. Harry is smart. Harry is not young. All kind people are not red. All cold, nice people are not red. Red, young people are smart. If someone is cold and kind then they are nice. All red people are not nice. If Harry is cold and Harry is red then Harry is not kind.
Harry is furry.
@0: Harry is cold.[(triple1)] Harry is furry.[(triple2)] Harry is kind.[(triple3)] Harry is nice.[(triple4 OR ((triple1 triple3) -> rule4))] Harry is not red.[(triple5 OR ((triple3) -> rule1) OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1 triple3) -> rule4)) -> rule2))] Harry is not young.[(triple7)] Harry is smart.[(triple6)]