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