Dave is furry. Dave is rough. Dave is young. Erin is furry. Erin is young. Gary is white. Gary is young. All furry, white things are young. If something is smart then it is white. If something is young and green then it is white. If Erin is white then Erin is rough. If something is rough then it is nice. If something is young and furry then it is smart. If something is smart and rough then it is white. If something is rough and smart then it is white.
Erin is not green.
@0: Dave is furry.[(triple1)] Dave is rough.[(triple2)] Dave is young.[(triple3)] Erin is furry.[(triple4)] Erin is young.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)] @1: Dave is nice.[(((triple2) -> rule5))] Dave is smart.[(((triple3 triple1) -> rule6))] Erin is smart.[(((triple5 triple4) -> rule6))] @2: Dave is white.[(((((triple3 triple1) -> rule6)) -> rule2) OR ((triple2 ((triple3 triple1) -> rule6)) -> rule8) OR ((((triple3 triple1) -> rule6) triple2) -> rule7))] Erin is white.[(((((triple5 triple4) -> rule6)) -> rule2))] @3: Erin is rough.[(((((((triple5 triple4) -> rule6)) -> rule2)) -> rule4))] @4: Erin is nice.[(((((((((triple5 triple4) -> rule6)) -> rule2)) -> rule4)) -> rule5))]