Anne is red. Charlie is rough. Erin is red. If someone is red then they are rough. If someone is rough and not red then they are white. If someone is round then they are not white. If Erin is young and Erin is white then Erin is smart. If Erin is not rough then Erin is not white. If Erin is round and Erin is not nice then Erin is not white.
Charlie is young.
@0: Anne is red.[(triple1)] Charlie is rough.[(triple2)] Erin is red.[(triple3)] @1: Anne is rough.[(((triple1) -> rule1))] Erin is rough.[(((triple3) -> rule1))]