Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is young. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is young. If Dave is nice and Dave is blue then Dave is young. If Dave is round then Dave is quiet.
Bob is cold.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9 OR ((triple11) -> rule2))] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is young.[(triple12 OR ((triple8 triple6) -> rule1))]