Charlie is round. Fiona is not young. Gary is red. Harry is white. White, young people are nice. All white people are nice. Red people are not round. If someone is white then they are not round. If Charlie is white and Charlie is nice then Charlie is rough. If someone is round then they are rough. If someone is round then they are rough. Round people are not quiet.
Gary is young.
@0: Charlie is round.[(triple1)] Fiona is not young.[(triple2)] Gary is red.[(triple3)] Harry is white.[(triple4)] @1: Charlie is not quiet.[(((triple1) -> rule8))] Charlie is rough.[(((triple1) -> rule6) OR ((triple1) -> rule7))] Gary is not round.[(((triple3) -> rule3))] Harry is nice.[(((triple4) -> rule2))] Harry is not round.[(((triple4) -> rule4))]