Dave is green. Dave is smart. Dave is young. Erin is young. Gary is furry. Gary is quiet. Gary is young. Furry people are smart. If someone is quiet then they are smart. If someone is smart and green then they are kind. If someone is quiet and furry then they are not kind. All quiet, round people are not kind. If someone is kind then they are round. All quiet people are round. Smart people are young.
Gary is not quiet.
@0: Dave is green.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3 OR ((triple2) -> rule8))] Erin is young.[(triple4)] Gary is furry.[(triple5)] Gary is quiet.[(triple6)] Gary is young.[(triple7 OR ((((triple5) -> rule1)) -> rule8) OR ((((triple6) -> rule2)) -> rule8))] @1: Dave is kind.[(((triple2 triple1) -> rule3))] Gary is not kind.[(((triple6 triple5) -> rule4) OR ((triple6 ((triple6) -> rule7)) -> rule5))] Gary is round.[(((triple6) -> rule7))] Gary is smart.[(((triple5) -> rule1) OR ((triple6) -> rule2))] @2: Dave is round.[(((((triple2 triple1) -> rule3)) -> rule6))]