Anne is furry. Anne is red. Bob is rough. Bob is round. Charlie is green. Charlie is round. Gary is round. If Bob is rough and Bob is round then Bob is blue. Furry, rough people are red. All red people are rough.
Charlie is not rough.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Charlie is green.[(triple5)] Charlie is round.[(triple6)] Gary is round.[(triple7)] @1: Anne is rough.[(((triple2) -> rule3))] Bob is blue.[(((triple3 triple4) -> rule1))]