Charlie is green. Charlie is kind. Charlie is round. Charlie is young. Fiona is kind. Fiona is quiet. Fiona is young. Gary is kind. Gary is nice. Gary is round. Gary is young. Harry is round. All furry, kind people are round. If someone is green and kind then they are round.
Gary is nice.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3 OR ((triple1 triple2) -> rule2))] Charlie is young.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] Gary is young.[(triple11)] Harry is round.[(triple12)]