Anne is nice. Anne is round. Anne is white. Bob is furry. Bob is nice. Bob is quiet. Bob is round. Gary is furry. Gary is white. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. Harry is young. Quiet things are young.
Bob is round.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is furry.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Gary is furry.[(triple8)] Gary is white.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple12) -> rule1))] @1: Bob is young.[(((triple6) -> rule1))]