Bob is nice. Bob is round. Bob is white. Erin is blue. Gary is white. Gary is young. Harry is kind. Harry is red. Harry is white. Harry is young. Red things are nice.
Harry is white.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Erin is blue.[(triple4)] Gary is white.[(triple5)] Gary is young.[(triple6)] Harry is kind.[(triple7)] Harry is red.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Harry is nice.[(((triple8) -> rule1))]