Bob is big. Bob is cold. Bob is quiet. Bob is red. Bob is white. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is white. If someone is quiet and furry then they are green. Quiet people are big.
Dave is furry.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is red.[(triple9)] Dave is white.[(triple10)]