Charlie is blue. Charlie is not kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Erin is not blue. Erin is not kind. Erin is white. Gary is kind. Gary is nice. Gary is red. Gary is smart. Gary is young. All white people are young. All smart people are red. If Gary is white and Gary is kind then Gary is smart. All smart people are nice. If someone is nice and not young then they are kind. If someone is young then they are smart. Kind, white people are not smart. If Erin is not young then Erin is blue.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple3 OR ((triple5) -> rule4) OR ((((triple7) -> rule6)) -> rule4) OR ((((((triple6) -> rule1)) -> rule6)) -> rule4))] Charlie is not kind.[(triple2)] Charlie is red.[(triple4 OR ((triple5) -> rule2) OR ((((triple7) -> rule6)) -> rule2) OR ((((((triple6) -> rule1)) -> rule6)) -> rule2))] Charlie is smart.[(triple5 OR ((triple7) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule1))] Erin is not blue.[(triple8)] Erin is not kind.[(triple9)] Erin is white.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12 OR ((triple14) -> rule4) OR ((((triple15) -> rule6)) -> rule4))] Gary is red.[(triple13 OR ((triple14) -> rule2) OR ((((triple15) -> rule6)) -> rule2))] Gary is smart.[(triple14 OR ((triple15) -> rule6))] Gary is young.[(triple15)] @1: Erin is young.[(((triple10) -> rule1))] @2: Erin is smart.[(((((triple10) -> rule1)) -> rule6))] @3: Erin is nice.[(((((((triple10) -> rule1)) -> rule6)) -> rule4))] Erin is red.[(((((((triple10) -> rule1)) -> rule6)) -> rule2))]