Anne is big. Anne is green. Anne is rough. Bob is furry. Bob is not rough. Charlie is green. Charlie is young. Harry is big. Harry is green. Harry is not red. If someone is big then they are not smart. If someone is big and not smart then they are furry. All furry people are not young. If Harry is young and Harry is red then Harry is not rough. All red, young people are green. All rough people are green.
Harry is smart.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple3) -> rule6))] Anne is rough.[(triple3)] Bob is furry.[(triple4)] Bob is not rough.[(triple5)] Charlie is green.[(triple6)] Charlie is young.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is not red.[(triple10)] @1: Anne is not smart.[(((triple1) -> rule1))] Bob is not young.[(((triple4) -> rule3))] Harry is not smart.[(((triple8) -> rule1))] @2: Anne is furry.[(((triple1 ((triple1) -> rule1)) -> rule2))] Harry is furry.[(((triple8 ((triple8) -> rule1)) -> rule2))] @3: Anne is not young.[(((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))] Harry is not young.[(((((triple8 ((triple8) -> rule1)) -> rule2)) -> rule3))]