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