Anne is rough. Dave is young. Erin is rough. All smart, kind things are rough. Nice, rough things are not kind. All rough things are nice. Rough things are nice. If something is rough then it is smart. Kind, smart things are young. If something is nice and not rough then it is quiet. Quiet things are green.
Anne is not rough.
@0: Anne is rough.[(triple1)] Dave is young.[(triple2)] Erin is rough.[(triple3)] @1: Anne is nice.[(((triple1) -> rule3) OR ((triple1) -> rule4))] Anne is smart.[(((triple1) -> rule5))] Erin is nice.[(((triple3) -> rule3) OR ((triple3) -> rule4))] Erin is smart.[(((triple3) -> rule5))] @2: Anne is not kind.[(((((triple1) -> rule3) triple1) -> rule2) OR ((((triple1) -> rule4) triple1) -> rule2))] Erin is not kind.[(((((triple3) -> rule3) triple3) -> rule2) OR ((((triple3) -> rule4) triple3) -> rule2))]