Bob is green. Fiona is not rough. Gary is rough. Gary is white. Gary is young. Harry is not big. Harry is green. All young people are round. If someone is round and not white then they are young.
Bob is green.
@0: Bob is green.[(triple1)] Fiona is not rough.[(triple2)] Gary is rough.[(triple3)] Gary is white.[(triple4)] Gary is young.[(triple5)] Harry is green.[(triple7)] Harry is not big.[(triple6)] @1: Gary is round.[(((triple5) -> rule1))]