Anne is furry. Charlie is big. Dave is red. Gary is kind. If something is big then it is kind. If something is big then it is kind. If something is white then it is big. If Charlie is furry and Charlie is big then Charlie is young. Kind things are green. All young things are white. Red things are young. All furry, young things are green.
Anne is not green.
@0: Anne is furry.[(triple1)] Charlie is big.[(triple2)] Dave is red.[(triple3)] Gary is kind.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Dave is young.[(((triple3) -> rule7))] Gary is green.[(((triple4) -> rule5))] @2: Charlie is green.[(((((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule2)) -> rule5))] Dave is white.[(((((triple3) -> rule7)) -> rule6))] @3: Dave is big.[(((((((triple3) -> rule7)) -> rule6)) -> rule3))] @4: Dave is kind.[(((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule2))] @5: Dave is green.[(((((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule1)) -> rule5) OR ((((((((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule2)) -> rule5))]