Bob is not nice. Dave is rough. Harry is white. If Bob is quiet then Bob is nice. Quiet people are red. If someone is rough then they are big. If someone is quiet and furry then they are big. Rough, white people are not nice. If Dave is rough and Dave is not big then Dave is red.
Harry is not red.
@0: Bob is not nice.[(triple1)] Dave is rough.[(triple2)] Harry is white.[(triple3)] @1: Dave is big.[(((triple2) -> rule3))]