Bob is kind. Bob is smart. Bob is white. Erin is not cold. Erin is not kind. Erin is rough. Erin is not round. Erin is not smart. Erin is white. Harry is kind. Harry is not round. Harry is not young. If something is rough and not kind then it is young. All smart, rough things are not white. If Bob is cold then Bob is young. If Bob is round then Bob is young. If Bob is smart then Bob is young. All white things are not round.
Bob is cold.
@0: Bob is kind.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Erin is not cold.[(triple4)] Erin is not kind.[(triple5)] Erin is not round.[(triple7 OR ((triple9) -> rule6))] Erin is not smart.[(triple8)] Erin is rough.[(triple6)] Erin is white.[(triple9)] Harry is kind.[(triple10)] Harry is not round.[(triple11)] Harry is not young.[(triple12)] @1: Bob is not round.[(((triple3) -> rule6))] Bob is young.[(((triple2) -> rule5))] Erin is young.[(((triple6 triple5) -> rule1))]