Bob is big. Bob is kind. Charlie is big. Charlie is blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is cold. Dave is red. Erin is blue. Erin is kind. Erin is round. All red, kind people are white. If Dave is big then Dave is round. If Erin is kind and Erin is round then Erin is blue. If someone is red then they are kind. All cold, white people are big. If someone is white then they are blue.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Charlie is big.[(triple3 OR ((triple5 triple8) -> rule5) OR ((triple5 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule5))] Charlie is blue.[(triple4 OR ((triple8) -> rule6) OR ((((triple6 ((triple6) -> rule4)) -> rule1)) -> rule6))] Charlie is cold.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Charlie is white.[(triple8 OR ((triple6 ((triple6) -> rule4)) -> rule1))] Dave is big.[(triple9 OR ((triple11 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule5))] Dave is blue.[(triple10 OR ((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6))] Dave is cold.[(triple11)] Dave is red.[(triple12)] Erin is blue.[(triple13 OR ((triple14 triple15) -> rule3))] Erin is kind.[(triple14)] Erin is round.[(triple15)] @1: Charlie is kind.[(((triple6) -> rule4))] Dave is kind.[(((triple12) -> rule4))] Dave is round.[(((triple9) -> rule2) OR ((((triple11 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule5)) -> rule2))] @2: Dave is white.[(((triple12 ((triple12) -> rule4)) -> rule1))]