Anne is furry. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is white. Anne is young. Bob is quiet. Bob is round. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. Gary is young. If someone is smart and white then they are red. All round people are furry. Smart people are red. All round people are young. Quiet, smart people are white. Red, quiet people are white.
Anne is not red.
@0: Anne is furry.[(triple1 OR ((triple4) -> rule2))] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple5) -> rule3) OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple2 triple5) -> rule5)) -> rule1))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple2 triple5) -> rule5) OR ((triple3 triple2) -> rule6) OR ((((triple5) -> rule3) triple2) -> rule6))] Anne is young.[(triple7 OR ((triple4) -> rule4))] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Gary is furry.[(triple10 OR ((triple13) -> rule2))] Gary is quiet.[(triple11)] Gary is red.[(triple12 OR ((triple14) -> rule3) OR ((triple14 triple15) -> rule1) OR ((triple14 ((triple11 triple14) -> rule5)) -> rule1))] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple11 triple14) -> rule5) OR ((triple12 triple11) -> rule6) OR ((((triple14) -> rule3) triple11) -> rule6))] Gary is young.[(triple16 OR ((triple13) -> rule4))] @1: Bob is furry.[(((triple9) -> rule2))] Bob is young.[(((triple9) -> rule4))]