Gary is furry. Gary is kind. Gary is red. Gary is rough. Harry is not blue. Harry is furry. Harry is kind. Harry is not nice. Harry is not red. Harry is smart. If Harry is red and Harry is not nice then Harry is blue. Red things are furry. If something is nice then it is rough. All smart things are not rough. All rough things are kind. If something is blue and not furry then it is not kind.
Harry is not smart.
@0: Gary is furry.[(triple1 OR ((triple3) -> rule2))] Gary is kind.[(triple2 OR ((triple4) -> rule5))] Gary is red.[(triple3)] Gary is rough.[(triple4)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] Harry is not blue.[(triple5)] Harry is not nice.[(triple8)] Harry is not red.[(triple9)] Harry is smart.[(triple10)] @1: Harry is not rough.[(((triple10) -> rule4))]