Bob is green. Bob is quiet. Bob is round. Bob is smart. Bob is white. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Blue people are smart. If someone is smart and white then they are quiet.
Bob is round.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2 OR ((triple4 triple5) -> rule2))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((triple9 triple10) -> rule2))] Dave is smart.[(triple9)] Dave is white.[(triple10)]