Anne is big. Anne is smart. Bob is cold. Gary is big. Gary is furry. Harry is not cold. Harry is green. All young people are cold. If someone is smart then they are young. If someone is furry then they are green. Green people are white. If someone is green and cold then they are white. If Harry is green and Harry is young then Harry is furry. Green people are furry. All cold people are furry. If Gary is green then Gary is furry.
Gary is not green.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Bob is cold.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5)] Harry is green.[(triple7)] Harry is not cold.[(triple6)] @1: Anne is young.[(((triple2) -> rule2))] Bob is furry.[(((triple3) -> rule8))] Gary is green.[(((triple5) -> rule3))] Harry is furry.[(((triple7) -> rule7))] Harry is white.[(((triple7) -> rule4))] @2: Anne is cold.[(((((triple2) -> rule2)) -> rule1))] Bob is green.[(((((triple3) -> rule8)) -> rule3))] Gary is white.[(((((triple5) -> rule3)) -> rule4))] @3: Anne is furry.[(((((((triple2) -> rule2)) -> rule1)) -> rule8))] Bob is white.[(((((((triple3) -> rule8)) -> rule3)) -> rule4) OR ((((((triple3) -> rule8)) -> rule3) triple3) -> rule5))] @4: Anne is green.[(((((((((triple2) -> rule2)) -> rule1)) -> rule8)) -> rule3))] @5: Anne is white.[(((((((((((triple2) -> rule2)) -> rule1)) -> rule8)) -> rule3)) -> rule4) OR ((((((((((triple2) -> rule2)) -> rule1)) -> rule8)) -> rule3) ((((triple2) -> rule2)) -> rule1)) -> rule5))]