Bob is red. Charlie is not rough. Fiona is furry. If someone is quiet then they are not nice. If someone is nice and not rough then they are cold. Red people are cold. If Bob is furry then Bob is white. If someone is quiet and not nice then they are red. Nice, red people are white. All nice, cold people are furry. If someone is cold then they are furry.
Bob is not white.
@0: Bob is red.[(triple1)] Charlie is not rough.[(triple2)] Fiona is furry.[(triple3)] @1: Bob is cold.[(((triple1) -> rule3))] @2: Bob is furry.[(((((triple1) -> rule3)) -> rule8))] @3: Bob is white.[(((((((triple1) -> rule3)) -> rule8)) -> rule4))]