Anne is big. Anne is not quiet. Anne is young. Charlie is big. Charlie is quiet. Charlie is white. Gary is quiet. Gary is white. Harry is furry. Harry is nice. Harry is not white. Harry is not young. If someone is red then they are furry. White people are furry. If Anne is young and Anne is red then Anne is furry. All young people are nice. If someone is big and furry then they are nice. All white, nice people are young. If Anne is white then Anne is quiet. Young, red people are quiet.
Charlie is red.
@0: Anne is big.[(triple1)] Anne is not quiet.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Gary is quiet.[(triple7)] Gary is white.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is not white.[(triple11)] Harry is not young.[(triple12)] @1: Anne is nice.[(((triple3) -> rule4))] Charlie is furry.[(((triple6) -> rule2))] Gary is furry.[(((triple8) -> rule2))] @2: Charlie is nice.[(((triple4 ((triple6) -> rule2)) -> rule5))] @3: Charlie is young.[(((triple6 ((triple4 ((triple6) -> rule2)) -> rule5)) -> rule6))]