Anne is blue. Bob is green. Bob is quiet. Bob is red. Bob is round. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is white. Harry is green. Harry is quiet. Harry is red. Harry is white. Red people are white.
Harry is nice.
@0: Anne is blue.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is white.[(triple11 OR ((triple10) -> rule1))] Harry is green.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15 OR ((triple14) -> rule1))] @1: Bob is white.[(((triple4) -> rule1))]