Anne is not blue. Anne is red. Anne is smart. Bob is blue. Gary is kind. Gary is not red. Gary is young. Blue things are furry. All green, furry things are not young. If something is kind then it is young. If Gary is smart and Gary is furry then Gary is young. Smart things are green. All furry things are smart. If Anne is kind and Anne is red then Anne is smart. If Anne is green and Anne is red then Anne is furry.
Bob is furry.
@0: Anne is not blue.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Bob is blue.[(triple4)] Gary is kind.[(triple5)] Gary is not red.[(triple6)] Gary is young.[(triple7 OR ((triple5) -> rule3))] @1: Anne is green.[(((triple3) -> rule5))] Bob is furry.[(((triple4) -> rule1))] @2: Anne is furry.[(((((triple3) -> rule5) triple2) -> rule8))] Bob is smart.[(((((triple4) -> rule1)) -> rule6))] @3: Anne is not young.[(((((triple3) -> rule5) ((((triple3) -> rule5) triple2) -> rule8)) -> rule2))] Bob is green.[(((((((triple4) -> rule1)) -> rule6)) -> rule5))] @4: Bob is not young.[(((((((((triple4) -> rule1)) -> rule6)) -> rule5) ((triple4) -> rule1)) -> rule2))]