Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is young. Harry is quiet. Harry is red. If Harry is kind then Harry is big. All green people are quiet. Young, big people are red.
Gary is big.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Gary is big.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple6) -> rule2))] Gary is red.[(triple9 OR ((triple10 triple5) -> rule3))] Gary is young.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)]