Anne is green. Anne is not kind. Anne is not red. Charlie is green. Charlie is quiet. Fiona is green. Fiona is kind. Fiona is not red. Harry is quiet. Harry is not round. If someone is kind then they are not red. Round, nice people are rough. If someone is rough and not quiet then they are nice. If someone is kind and not red then they are nice. Red, round people are not green. If someone is red and not rough then they are green.
Anne is round.
@0: Anne is green.[(triple1)] Anne is not kind.[(triple2)] Anne is not red.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is not red.[(triple8 OR ((triple7) -> rule1))] Harry is not round.[(triple10)] Harry is quiet.[(triple9)] @1: Fiona is nice.[(((triple7 triple8) -> rule4) OR ((triple7 ((triple7) -> rule1)) -> rule4))]