Dave is green. Dave is rough. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Gary is kind. Gary is smart. All kind things are furry. All quiet things are young. All furry things are quiet.
Dave is smart.
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Erin is furry.[(triple3 OR ((triple4) -> rule1))] Erin is kind.[(triple4)] Erin is quiet.[(triple5 OR ((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8 OR ((triple5) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((((triple4) -> rule1)) -> rule3)) -> rule2))] Gary is kind.[(triple9)] Gary is smart.[(triple10)] @1: Gary is furry.[(((triple9) -> rule1))] @2: Gary is quiet.[(((((triple9) -> rule1)) -> rule3))] @3: Gary is young.[(((((((triple9) -> rule1)) -> rule3)) -> rule2))]