Anne is blue. Charlie is nice. Charlie is young. Gary is big. Gary is blue. Gary is not green. Gary is quiet. Harry is not blue. Harry is nice. Harry is young. Big people are blue.
Charlie is young.
@0: Anne is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is young.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5 OR ((triple4) -> rule1))] Gary is not green.[(triple6)] Gary is quiet.[(triple7)] Harry is nice.[(triple9)] Harry is not blue.[(triple8)] Harry is young.[(triple10)]