Bob is big. Bob is quiet. Bob is rough. Bob is white. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is smart. Erin is blue. Erin is not quiet. Erin is rough. Erin is smart. Erin is not white. Harry is not big. Harry is rough. Harry is white. If Harry is quiet then Harry is rough. If someone is smart and not white then they are rough. If Charlie is not smart then Charlie is big. If someone is smart then they are big. If someone is cold and white then they are blue. All white, rough people are not blue. If someone is smart and not white then they are cold. If Erin is not blue then Erin is not quiet.
Bob is not cold.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5 OR ((triple8) -> rule4))] Charlie is blue.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Erin is blue.[(triple9)] Erin is not quiet.[(triple10)] Erin is not white.[(triple13)] Erin is rough.[(triple11 OR ((triple12 triple13) -> rule2))] Erin is smart.[(triple12)] Harry is not big.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Bob is not blue.[(((triple4 triple3) -> rule6))] Erin is big.[(((triple12) -> rule4))] Erin is cold.[(((triple12 triple13) -> rule7))] Harry is not blue.[(((triple16 triple15) -> rule6))]