Bob is big. Bob is green. Bob is red. Bob is round. Dave is green. Dave is red. Dave is round. If someone is green and quiet then they are rough. If someone is round and not big then they are quiet. If someone is round and red then they are white.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Dave is green.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] @1: Bob is white.[(((triple4 triple3) -> rule3))] Dave is white.[(((triple7 triple6) -> rule3))]