Anne is rough. Bob is not round. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is not red. Erin is round. If Bob is round then Bob is not red. If something is blue and cold then it is furry. If Bob is blue then Bob is round.
Bob is round.
@0: Anne is rough.[(triple1)] Bob is not round.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5 OR ((triple3 triple4) -> rule2))] Charlie is not red.[(triple6)] Erin is round.[(triple7)]