Anne is big. Anne is red. Anne is rough. Bob is big. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. All furry, white people are young. White, rough people are furry. Rough people are quiet.
Anne is not young.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Bob is big.[(triple4)] Bob is furry.[(triple5 OR ((triple9 triple8) -> rule2))] Bob is quiet.[(triple6 OR ((triple8) -> rule3))] Bob is red.[(triple7)] Bob is rough.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10 OR ((triple5 triple9) -> rule1) OR ((((triple9 triple8) -> rule2) triple9) -> rule1))] Harry is furry.[(triple11 OR ((triple15 triple14) -> rule2))] Harry is quiet.[(triple12 OR ((triple14) -> rule3))] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple11 triple15) -> rule1) OR ((((triple15 triple14) -> rule2) triple15) -> rule1))] @1: Anne is quiet.[(((triple3) -> rule3))]