Charlie is green. Charlie is kind. Charlie is white. Fiona is kind. Gary is not green. Gary is quiet. Gary is red. Gary is round. Harry is quiet. Harry is white. If someone is round and not red then they are white. All red people are not nice.
Gary is round.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is white.[(triple3)] Fiona is kind.[(triple4)] Gary is not green.[(triple5)] Gary is quiet.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Harry is quiet.[(triple9)] Harry is white.[(triple10)] @1: Gary is not nice.[(((triple7) -> rule2))]