Anne is blue. Anne is kind. Bob is big. Gary is blue. Gary is furry. Harry is not big. Harry is not blue. Harry is furry. Harry is not green. Harry is red. If something is furry and blue then it is nice. All kind things are nice. If something is nice then it is furry. If Harry is blue and Harry is not furry then Harry is big. Big, furry things are green. All nice things are not big. All red, nice things are not big. If something is big then it is red.
Bob is not blue.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Bob is big.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Harry is furry.[(triple8)] Harry is not big.[(triple6)] Harry is not blue.[(triple7)] Harry is not green.[(triple9)] Harry is red.[(triple10)] @1: Anne is nice.[(((triple2) -> rule2))] Bob is red.[(((triple3) -> rule8))] Gary is nice.[(((triple5 triple4) -> rule1))] @2: Anne is furry.[(((((triple2) -> rule2)) -> rule3))] Anne is not big.[(((((triple2) -> rule2)) -> rule6))] Gary is not big.[(((((triple5 triple4) -> rule1)) -> rule6))]