Bob is kind. Bob is round. Dave is cold. Dave is furry. Erin is not cold. Erin is green. Erin is kind. Erin is quiet. Erin is round. Gary is furry. Gary is round. Gary is young. If someone is young then they are not green. Round, kind people are not furry.
Gary is not quiet.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is not cold.[(triple5)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Gary is furry.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Bob is not furry.[(((triple2 triple1) -> rule2))] Erin is not furry.[(((triple9 triple7) -> rule2))] Gary is not green.[(((triple12) -> rule1))]