Bob is blue. Bob is green. Bob is nice. Gary is green. Gary is nice. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is round. If someone is round then they are nice.
Gary is young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple9 OR ((triple10) -> rule1))] Harry is round.[(triple10)]