Anne is rough. Bob is blue. Bob is red. Bob is rough. Bob is white. Charlie is cold. Charlie is round. Charlie is smart. Erin is blue. Erin is white. All smart things are blue. All smart things are round. Smart things are cold.
Charlie is white.
@0: Anne is rough.[(triple1)] Bob is blue.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6 OR ((triple8) -> rule3))] Charlie is round.[(triple7 OR ((triple8) -> rule2))] Charlie is smart.[(triple8)] Erin is blue.[(triple9)] Erin is white.[(triple10)] @1: Charlie is blue.[(((triple8) -> rule1))]