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