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