Anne is young. Dave is furry. Gary is red. Blue people are white. If someone is young then they are blue. All blue people are young. If someone is young and furry then they are rough. If someone is red and rough then they are big. All furry people are blue. If someone is white then they are young. All white, furry people are red.
Gary is not blue.
@0: Anne is young.[(triple1)] Dave is furry.[(triple2)] Gary is red.[(triple3)] @1: Anne is blue.[(((triple1) -> rule2))] Dave is blue.[(((triple2) -> rule6))] @2: Anne is white.[(((((triple1) -> rule2)) -> rule1))] Dave is white.[(((((triple2) -> rule6)) -> rule1))] Dave is young.[(((((triple2) -> rule6)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1)) -> rule7))] @3: Dave is red.[(((((((triple2) -> rule6)) -> rule1) triple2) -> rule8))] Dave is rough.[(((((((triple2) -> rule6)) -> rule3) triple2) -> rule4) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule7) triple2) -> rule4))] @4: Dave is big.[(((((((((triple2) -> rule6)) -> rule1) triple2) -> rule8) ((((((triple2) -> rule6)) -> rule3) triple2) -> rule4)) -> rule5) OR ((((((((triple2) -> rule6)) -> rule1) triple2) -> rule8) ((((((((triple2) -> rule6)) -> rule1)) -> rule7) triple2) -> rule4)) -> rule5))]