Charlie is smart. Dave is big. Dave is green. Dave is nice. Dave is round. Dave is young. Gary is young. All nice, green people are young. If someone is smart then they are big.
Gary is not big.
@0: Charlie is smart.[(triple1)] Dave is big.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6 OR ((triple4 triple3) -> rule1))] Gary is young.[(triple7)] @1: Charlie is big.[(((triple1) -> rule2))]