Anne is not green. Anne is rough. Bob is white. Dave is red. Dave is young. Gary is red. Gary is white. If something is red then it is furry. If something is furry then it is young. White, red things are rough. All white, furry things are big. Rough things are red. Red, young things are white.
Gary is big.
@0: Anne is not green.[(triple1)] Anne is rough.[(triple2)] Bob is white.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5 OR ((((triple4) -> rule1)) -> rule2))] Gary is red.[(triple6)] Gary is white.[(triple7 OR ((triple6 ((((triple6) -> rule1)) -> rule2)) -> rule6))] @1: Anne is red.[(((triple2) -> rule5))] Dave is furry.[(((triple4) -> rule1))] Dave is white.[(((triple4 triple5) -> rule6) OR ((triple4 ((((triple4) -> rule1)) -> rule2)) -> rule6))] Gary is furry.[(((triple6) -> rule1))] Gary is rough.[(((triple7 triple6) -> rule3) OR ((((triple6 ((((triple6) -> rule1)) -> rule2)) -> rule6) triple6) -> rule3))] @2: Anne is furry.[(((((triple2) -> rule5)) -> rule1))] Dave is big.[(((((triple4 triple5) -> rule6) ((triple4) -> rule1)) -> rule4) OR ((((triple4 ((((triple4) -> rule1)) -> rule2)) -> rule6) ((triple4) -> rule1)) -> rule4))] Dave is rough.[(((((triple4 triple5) -> rule6) triple4) -> rule3) OR ((((triple4 ((((triple4) -> rule1)) -> rule2)) -> rule6) triple4) -> rule3))] Gary is big.[(((triple7 ((triple6) -> rule1)) -> rule4) OR ((((triple6 ((((triple6) -> rule1)) -> rule2)) -> rule6) ((triple6) -> rule1)) -> rule4))] Gary is young.[(((((triple6) -> rule1)) -> rule2))] @3: Anne is young.[(((((((triple2) -> rule5)) -> rule1)) -> rule2))] @4: Anne is white.[(((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule1)) -> rule2)) -> rule6))] @5: Anne is big.[(((((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule1)) -> rule2)) -> rule6) ((((triple2) -> rule5)) -> rule1)) -> rule4))]