Dave is rough. Fiona is kind. Gary is rough. All kind, big people are green. If someone is big then they are green. All quiet, green people are rough. If someone is rough then they are big. Kind, rough people are blue. Kind, blue people are young. Green, big people are blue. Green people are blue.
Fiona is not big.
@0: Dave is rough.[(triple1)] Fiona is kind.[(triple2)] Gary is rough.[(triple3)] @1: Dave is big.[(((triple1) -> rule4))] Gary is big.[(((triple3) -> rule4))] @2: Dave is green.[(((((triple1) -> rule4)) -> rule2))] Gary is green.[(((((triple3) -> rule4)) -> rule2))] @3: Dave is blue.[(((((((triple1) -> rule4)) -> rule2)) -> rule8) OR ((((((triple1) -> rule4)) -> rule2) ((triple1) -> rule4)) -> rule7))] Gary is blue.[(((((((triple3) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule7))]