Bob is quiet. Bob is round. Bob is white. Dave is nice. Dave is red. Dave is white. Gary is nice. Smart people are quiet. If someone is nice and red then they are smart.
Gary is not red.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Gary is nice.[(triple7)] @1: Dave is smart.[(((triple4 triple5) -> rule2))] @2: Dave is quiet.[(((((triple4 triple5) -> rule2)) -> rule1))]