Anne is blue. Charlie is blue. Dave is green. Fiona is nice. All quiet, blue people are green. Smart people are young. All green people are nice. Young people are nice. Blue people are smart. If Charlie is smart and Charlie is blue then Charlie is quiet.
Dave is not nice.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Dave is green.[(triple3)] Fiona is nice.[(triple4)] @1: Anne is smart.[(((triple1) -> rule5))] Charlie is smart.[(((triple2) -> rule5))] Dave is nice.[(((triple3) -> rule3))] @2: Anne is young.[(((((triple1) -> rule5)) -> rule2))] Charlie is quiet.[(((((triple2) -> rule5) triple2) -> rule6))] Charlie is young.[(((((triple2) -> rule5)) -> rule2))] @3: Anne is nice.[(((((((triple1) -> rule5)) -> rule2)) -> rule4))] Charlie is green.[(((((((triple2) -> rule5) triple2) -> rule6) triple2) -> rule1))] Charlie is nice.[(((((((triple2) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule5) triple2) -> rule6) triple2) -> rule1)) -> rule3))]