Bob is blue. Bob is cold. Bob is kind. Bob is young. Erin is green. Erin is round. Harry is blue. Harry is cold. Harry is not green. Harry is kind. Harry is quiet. Harry is young. All green, round people are quiet.
Harry is round.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is young.[(triple4)] Erin is green.[(triple5)] Erin is round.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple10)] Harry is not green.[(triple9)] Harry is quiet.[(triple11)] Harry is young.[(triple12)] @1: Erin is quiet.[(((triple5 triple6) -> rule1))]