Anne is big. Anne is furry. Bob is cold. Bob is red. Dave is not green. Gary is not big. Gary is smart. If someone is smart and big then they are furry. Smart people are furry. Furry, red people are big. Big people are kind. If someone is cold then they are smart. If someone is kind and big then they are not green. If Gary is cold then Gary is not green.
Bob is not red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Bob is cold.[(triple3)] Bob is red.[(triple4)] Dave is not green.[(triple5)] Gary is not big.[(triple6)] Gary is smart.[(triple7)] @1: Anne is kind.[(((triple1) -> rule4))] Bob is smart.[(((triple3) -> rule5))] Gary is furry.[(((triple7) -> rule2))] @2: Anne is not green.[(((((triple1) -> rule4) triple1) -> rule6))] Bob is furry.[(((((triple3) -> rule5)) -> rule2))] @3: Bob is big.[(((((((triple3) -> rule5)) -> rule2) triple4) -> rule3))] @4: Bob is kind.[(((((((((triple3) -> rule5)) -> rule2) triple4) -> rule3)) -> rule4))] @5: Bob is not green.[(((((((((((triple3) -> rule5)) -> rule2) triple4) -> rule3)) -> rule4) ((((((triple3) -> rule5)) -> rule2) triple4) -> rule3)) -> rule6))]