Anne is furry. Anne is quiet. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Dave is big. Dave is furry. Dave is kind. Dave is red. Gary is big. Gary is red. Gary is round. Gary is white. Quiet, white people are red. Furry people are white. Kind, round people are quiet. All quiet, big people are round. White people are furry. If someone is white and big then they are quiet. All round people are white. All big, round people are kind.
Dave is not round.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Charlie is furry.[(triple3 OR ((triple8) -> rule5) OR ((((triple7) -> rule7)) -> rule5))] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5 OR ((triple4 triple7) -> rule3))] Charlie is red.[(triple6 OR ((triple5 triple8) -> rule1) OR ((triple5 ((triple3) -> rule2)) -> rule1) OR ((triple5 ((triple7) -> rule7)) -> rule1) OR ((((triple4 triple7) -> rule3) triple8) -> rule1) OR ((((triple4 triple7) -> rule3) ((triple3) -> rule2)) -> rule1) OR ((((triple4 triple7) -> rule3) ((triple7) -> rule7)) -> rule1))] Charlie is round.[(triple7)] Charlie is white.[(triple8 OR ((triple3) -> rule2) OR ((triple7) -> rule7))] Dave is big.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11 OR ((triple9 ((((((triple10) -> rule2) triple9) -> rule6) triple9) -> rule4)) -> rule8))] Dave is red.[(triple12 OR ((((((triple10) -> rule2) triple9) -> rule6) ((triple10) -> rule2)) -> rule1))] Gary is big.[(triple13)] Gary is red.[(triple14 OR ((((triple16 triple13) -> rule6) triple16) -> rule1) OR ((((triple16 triple13) -> rule6) ((triple15) -> rule7)) -> rule1) OR ((((((triple15) -> rule7) triple13) -> rule6) triple16) -> rule1) OR ((((((triple13 triple15) -> rule8) triple15) -> rule3) triple16) -> rule1) OR ((((((triple15) -> rule7) triple13) -> rule6) ((triple15) -> rule7)) -> rule1) OR ((((((triple13 triple15) -> rule8) triple15) -> rule3) ((triple15) -> rule7)) -> rule1))] Gary is round.[(triple15 OR ((((triple16 triple13) -> rule6) triple13) -> rule4))] Gary is white.[(triple16 OR ((triple15) -> rule7))] @1: Anne is white.[(((triple1) -> rule2))] Dave is white.[(((triple10) -> rule2))] Gary is furry.[(((triple16) -> rule5) OR ((((triple15) -> rule7)) -> rule5))] Gary is kind.[(((triple13 triple15) -> rule8) OR ((triple13 ((((triple16 triple13) -> rule6) triple13) -> rule4)) -> rule8))] Gary is quiet.[(((triple16 triple13) -> rule6) OR ((((triple15) -> rule7) triple13) -> rule6) OR ((((triple13 triple15) -> rule8) triple15) -> rule3))] @2: Anne is red.[(((triple2 ((triple1) -> rule2)) -> rule1))] Dave is quiet.[(((((triple10) -> rule2) triple9) -> rule6))] @3: Dave is round.[(((((((triple10) -> rule2) triple9) -> rule6) triple9) -> rule4))]