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