Bob is blue. Bob is cold. Bob is nice. Bob is rough. Bob is smart. Charlie is big. Charlie is blue. Erin is blue. Gary is nice. Gary is smart. If Erin is rough then Erin is nice. Nice people are white. If someone is rough then they are nice. All blue people are rough. If someone is blue and white then they are nice. All big people are nice. All blue, smart people are white. If someone is big and cold then they are rough.
Erin is white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple4) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((triple1 ((triple1 triple5) -> rule7)) -> rule5))] Bob is rough.[(triple4 OR ((triple1) -> rule4))] Bob is smart.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Erin is blue.[(triple8)] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Bob is white.[(((triple3) -> rule2) OR ((triple1 triple5) -> rule7) OR ((((triple4) -> rule3)) -> rule2) OR ((((((triple1) -> rule4)) -> rule3)) -> rule2))] Charlie is nice.[(((triple6) -> rule6) OR ((((triple7) -> rule4)) -> rule3))] Charlie is rough.[(((triple7) -> rule4))] Erin is rough.[(((triple8) -> rule4))] Gary is white.[(((triple9) -> rule2))] @2: Charlie is white.[(((((triple6) -> rule6)) -> rule2) OR ((((((triple7) -> rule4)) -> rule3)) -> rule2))] Erin is nice.[(((((triple8) -> rule4)) -> rule1) OR ((((triple8) -> rule4)) -> rule3))] @3: Erin is white.[(((((((triple8) -> rule4)) -> rule1)) -> rule2) OR ((((((triple8) -> rule4)) -> rule3)) -> rule2))]