Bob is cold. Bob is furry. Bob is kind. Bob is not nice. Bob is white. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is red. Gary is kind. Gary is nice. Gary is red. Harry is cold. Harry is furry. Kind things are cold. If something is blue then it is kind. Red, furry things are kind. If something is white and nice then it is red. All cold things are red. All nice, cold things are red. If Harry is red and Harry is kind then Harry is blue. If something is red and blue then it is white. If something is blue and white then it is not nice.
Harry is not kind.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule1))] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((((triple1) -> rule5) triple2) -> rule3))] Bob is not nice.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6 OR ((triple8) -> rule1))] Charlie is kind.[(triple8)] Charlie is not furry.[(triple7)] Charlie is red.[(triple9 OR ((triple6) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12 OR ((((triple10) -> rule1)) -> rule5) OR ((triple11 ((triple10) -> rule1)) -> rule6))] Harry is cold.[(triple13)] Harry is furry.[(triple14)] @1: Bob is red.[(((triple1) -> rule5) OR ((((triple3) -> rule1)) -> rule5))] Gary is cold.[(((triple10) -> rule1))] Harry is red.[(((triple13) -> rule5))] @2: Harry is kind.[(((((triple13) -> rule5) triple14) -> rule3))] @3: Harry is blue.[(((((triple13) -> rule5) ((((triple13) -> rule5) triple14) -> rule3)) -> rule7))] @4: Harry is white.[(((((triple13) -> rule5) ((((triple13) -> rule5) ((((triple13) -> rule5) triple14) -> rule3)) -> rule7)) -> rule8))] @5: Harry is not nice.[(((((((triple13) -> rule5) ((((triple13) -> rule5) triple14) -> rule3)) -> rule7) ((((triple13) -> rule5) ((((triple13) -> rule5) ((((triple13) -> rule5) triple14) -> rule3)) -> rule7)) -> rule8)) -> rule9))]