Anne is not furry. Bob is cold. Bob is round. Charlie is cold. Charlie is furry. Charlie is green. Charlie is round. Charlie is white. Charlie is not young. Erin is red. Erin is white. Erin is young. If Bob is green and Bob is not red then Bob is furry. All round things are white.
Bob is red.
@0: Anne is not furry.[(triple1)] Bob is cold.[(triple2)] Bob is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is not young.[(triple9)] Charlie is round.[(triple7)] Charlie is white.[(triple8 OR ((triple7) -> rule2))] Erin is red.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Bob is white.[(((triple3) -> rule2))]