Bob is furry. Bob is green. Bob is quiet. Bob is round. Bob is young. Charlie is not green. Dave is kind. Dave is red. Gary is furry. Gary is quiet. Gary is round. Gary is young. If someone is furry then they are red. All green people are red. If someone is furry and quiet then they are round. Kind, young people are round. All green people are young. All quiet people are young. If someone is red then they are young. If someone is green and not red then they are quiet.
Gary is not red.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple1 triple3) -> rule3))] Bob is young.[(triple5 OR ((triple2) -> rule5) OR ((triple3) -> rule6) OR ((((triple1) -> rule1)) -> rule7) OR ((((triple2) -> rule2)) -> rule7))] Charlie is not green.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Gary is round.[(triple11 OR ((triple9 triple10) -> rule3))] Gary is young.[(triple12 OR ((triple10) -> rule6) OR ((((triple9) -> rule1)) -> rule7))] @1: Bob is red.[(((triple1) -> rule1) OR ((triple2) -> rule2))] Dave is young.[(((triple8) -> rule7))] Gary is red.[(((triple9) -> rule1))] @2: Dave is round.[(((triple7 ((triple8) -> rule7)) -> rule4))]