Bob is cold. Bob is smart. Bob is white. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Erin is kind. Erin is young. Harry is blue. Harry is smart. Harry is white. If something is smart and young then it is blue. All smart, white things are red. Young things are cold. Young, cold things are smart. If Bob is young and Bob is smart then Bob is white. If Harry is young then Harry is red.
Bob is not blue.
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Charlie is blue.[(triple4 OR ((triple8 triple10) -> rule1) OR ((((triple10 triple5) -> rule4) triple10) -> rule1) OR ((((triple10 ((triple10) -> rule3)) -> rule4) triple10) -> rule1))] Charlie is cold.[(triple5 OR ((triple10) -> rule3))] Charlie is kind.[(triple6)] Charlie is red.[(triple7 OR ((triple8 triple9) -> rule2) OR ((((triple10 triple5) -> rule4) triple9) -> rule2) OR ((((triple10 ((triple10) -> rule3)) -> rule4) triple9) -> rule2))] Charlie is smart.[(triple8 OR ((triple10 triple5) -> rule4) OR ((triple10 ((triple10) -> rule3)) -> rule4))] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Erin is kind.[(triple11)] Erin is young.[(triple12)] Harry is blue.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Bob is red.[(((triple2 triple3) -> rule2))] Erin is cold.[(((triple12) -> rule3))] Harry is red.[(((triple14 triple15) -> rule2))] @2: Erin is smart.[(((triple12 ((triple12) -> rule3)) -> rule4))] @3: Erin is blue.[(((((triple12 ((triple12) -> rule3)) -> rule4) triple12) -> rule1))]