Anne is nice. Anne is not red. Anne is round. Anne is white. Anne is young. Bob is red. Bob is round. Bob is white. Erin is cold. Erin is red. Erin is rough. Erin is round. Red, round people are nice. Cold people are young.
Anne is rough.
@0: Anne is nice.[(triple1)] Anne is not red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple7)] Bob is white.[(triple8)] Erin is cold.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is round.[(triple12)] @1: Bob is nice.[(((triple6 triple7) -> rule1))] Erin is nice.[(((triple10 triple12) -> rule1))] Erin is young.[(((triple9) -> rule2))]