Erin is not round. Fiona is kind. Fiona is round. Fiona is white. Gary is nice. Harry is round. Harry is white. If Harry is not red then Harry is nice. All red, blue things are not round. If something is nice then it is white. Round things are white. If Erin is nice and Erin is not kind then Erin is not young. If something is red and not blue then it is not nice. If something is white and not round then it is nice. All kind, blue things are nice.
Gary is not nice.
@0: Erin is not round.[(triple1)] Fiona is kind.[(triple2)] Fiona is round.[(triple3)] Fiona is white.[(triple4 OR ((triple3) -> rule4))] Gary is nice.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple6) -> rule4))] @1: Gary is white.[(((triple5) -> rule3))]