Dave is big. Dave is blue. Dave is green. Dave is round. Erin is blue. Erin is green. Gary is big. Gary is green. Gary is round. Harry is red. All round people are big. Young people are red. All nice, big people are young.
Gary is not big.
@0: Dave is big.[(triple1 OR ((triple4) -> rule1))] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is round.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Gary is big.[(triple7 OR ((triple9) -> rule1))] Gary is green.[(triple8)] Gary is round.[(triple9)] Harry is red.[(triple10)]