Anne is quiet. Bob is blue. Bob is nice. Bob is smart. Bob is young. Gary is rough. Harry is smart. All nice people are smart. All smart, rough people are quiet. All blue, rough people are green. All young people are green. If someone is smart and quiet then they are young. Green people are rough.
Anne is nice.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule1))] Bob is young.[(triple5)] Gary is rough.[(triple6)] Harry is smart.[(triple7)] @1: Bob is green.[(((triple5) -> rule4))] @2: Bob is rough.[(((((triple5) -> rule4)) -> rule6))] @3: Bob is quiet.[(((triple4 ((((triple5) -> rule4)) -> rule6)) -> rule2) OR ((((triple3) -> rule1) ((((triple5) -> rule4)) -> rule6)) -> rule2))]