Dave is big. Dave is blue. Dave is not rough. Dave is smart. Dave is young. Gary is blue. Gary is rough. Gary is young. Harry is big. Harry is not green. Harry is rough. Harry is young. If something is round then it is big. All blue things are young. All rough, green things are round.
Harry is not rough.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is not rough.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5 OR ((triple2) -> rule2))] Gary is blue.[(triple6)] Gary is rough.[(triple7)] Gary is young.[(triple8 OR ((triple6) -> rule2))] Harry is big.[(triple9)] Harry is not green.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)]