Anne is quiet. Anne is smart. Anne is young. Bob is young. Charlie is big. Charlie is young. Harry is young. All quiet, young people are red. If someone is big and quiet then they are red. If Bob is big then Bob is nice. If someone is nice and big then they are green. All quiet people are young. If Harry is nice and Harry is smart then Harry is young. Quiet people are young. If someone is red then they are nice.
Bob is not green.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule5) OR ((triple1) -> rule7))] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is young.[(triple6)] Harry is young.[(triple7)] @1: Anne is red.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule5)) -> rule1) OR ((triple1 ((triple1) -> rule7)) -> rule1))] @2: Anne is nice.[(((((triple1 triple3) -> rule1)) -> rule8) OR ((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8))]