Gary is blue. Gary is not cold. Gary is furry. Gary is kind. Gary is not quiet. Gary is red. Gary is smart. Harry is not cold. Harry is not furry. Harry is kind. Harry is not quiet. Harry is smart. If Gary is quiet then Gary is not blue. If Harry is kind and Harry is not red then Harry is not quiet. All quiet people are furry. If Harry is red and Harry is quiet then Harry is cold. If someone is kind and not furry then they are smart. If someone is smart and not cold then they are blue. If someone is smart and not furry then they are blue. If Gary is not kind and Gary is not furry then Gary is smart.
Gary is kind.
@0: Gary is blue.[(triple1 OR ((triple7 triple2) -> rule6))] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is not cold.[(triple2)] Gary is not quiet.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7)] Harry is kind.[(triple10)] Harry is not cold.[(triple8)] Harry is not furry.[(triple9)] Harry is not quiet.[(triple11)] Harry is smart.[(triple12 OR ((triple10 triple9) -> rule5))] @1: Harry is blue.[(((triple12 triple8) -> rule6) OR ((triple12 triple9) -> rule7) OR ((((triple10 triple9) -> rule5) triple8) -> rule6) OR ((((triple10 triple9) -> rule5) triple9) -> rule7))]