Anne is not blue. Anne is red. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Erin is smart. Gary is kind. Gary is not round. If someone is kind and white then they are blue. Red, white people are blue.
Erin is not blue.
@0: Anne is not blue.[(triple1)] Anne is red.[(triple2)] Charlie is blue.[(triple3 OR ((triple5 triple7) -> rule2))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Erin is smart.[(triple8)] Gary is kind.[(triple9)] Gary is not round.[(triple10)]