Bob is furry. Charlie is furry. Dave is smart. Gary is red. If Gary is red and Gary is furry then Gary is rough. All furry, red people are rough. All furry people are blue. If someone is smart and red then they are white. All red people are blue. If someone is red and furry then they are blue.
Charlie is not furry.
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2)] Dave is smart.[(triple3)] Gary is red.[(triple4)] @1: Bob is blue.[(((triple1) -> rule3))] Charlie is blue.[(((triple2) -> rule3))] Gary is blue.[(((triple4) -> rule5))]