Anne is white. Anne is young. Erin is round. If something is young and round then it is nice. If something is nice and young then it is white. All nice things are white. All nice things are young. If Anne is red then Anne is rough. Young, white things are nice.
Erin is not white.
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Erin is round.[(triple3)] @1: Anne is nice.[(((triple2 triple1) -> rule6))]