Anne is green. Anne is kind. Charlie is quiet. Charlie is white. Erin is big. Erin is quiet. Erin is white. Harry is furry. Harry is green. Harry is quiet. Furry people are red. All quiet, green people are red.
Anne is kind.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)] @1: Harry is red.[(((triple8) -> rule1) OR ((triple10 triple9) -> rule2))]