Anne is quiet. Bob is cold. Bob is kind. Bob is quiet. Bob is young. Gary is not cold. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is young. Harry is kind. Round, furry people are quiet.
Harry is not quiet.
@0: Anne is quiet.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is not cold.[(triple6)] Gary is quiet.[(triple9 OR ((triple10 triple7) -> rule1))] Gary is round.[(triple10)] Gary is young.[(triple11)] Harry is kind.[(triple12)]