Bob is red. Dave is rough. Gary is furry. If someone is furry then they are quiet. If Bob is red and Bob is white then Bob is nice. If Gary is blue then Gary is rough. If Gary is quiet then Gary is rough. All red people are blue. If someone is red then they are blue. If someone is rough and blue then they are not nice. Rough people are white.
Gary is not nice.
@0: Bob is red.[(triple1)] Dave is rough.[(triple2)] Gary is furry.[(triple3)] @1: Bob is blue.[(((triple1) -> rule5) OR ((triple1) -> rule6))] Dave is white.[(((triple2) -> rule8))] Gary is quiet.[(((triple3) -> rule1))] @2: Gary is rough.[(((((triple3) -> rule1)) -> rule4))] @3: Gary is white.[(((((((triple3) -> rule1)) -> rule4)) -> rule8))]