Anne is rough. Dave is furry. Erin is furry. Erin is green. Erin is kind. Erin is rough. Gary is nice. If something is round and green then it is blue. If something is kind and nice then it is green. If something is green then it is round. If something is nice and green then it is round. If something is rough and green then it is furry. Rough, blue things are green. If something is blue and nice then it is rough. Kind things are rough.
Dave is furry.
@0: Anne is rough.[(triple1)] Dave is furry.[(triple2)] Erin is furry.[(triple3 OR ((triple6 triple4) -> rule5) OR ((((triple5) -> rule8) triple4) -> rule5))] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6 OR ((triple5) -> rule8))] Gary is nice.[(triple7)] @1: Erin is round.[(((triple4) -> rule3))] @2: Erin is blue.[(((((triple4) -> rule3) triple4) -> rule1))]