Anne is furry. Anne is nice. Bob is furry. Bob is quiet. Bob is smart. Charlie is rough. Charlie is smart. Harry is nice. Harry is quiet. Harry is round. If someone is red and nice then they are quiet. If someone is rough and nice then they are round. If someone is smart and rough then they are nice.
Anne is smart.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Charlie is nice.[(((triple7 triple6) -> rule3))] @2: Charlie is round.[(((triple6 ((triple7 triple6) -> rule3)) -> rule2))]