Dave is big. Dave is cold. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is white. Harry is big. Harry is cold. Harry is nice. Harry is rough. Harry is round. If Dave is nice then Dave is rough. If Dave is big then Dave is round.
Harry is white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple3) -> rule1))] Dave is round.[(triple6 OR ((triple1) -> rule2))] Dave is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)]