Anne is furry. Anne is rough. Anne is young. Bob is green. Bob is nice. Erin is rough. Erin is round. If someone is nice and green then they are round. All green, round people are rough. If someone is blue then they are young.
Erin is not rough.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] @1: Bob is round.[(((triple5 triple4) -> rule1))] @2: Bob is rough.[(((triple4 ((triple5 triple4) -> rule1)) -> rule2))]