Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is red. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is round. Blue things are red.
Gary is not red.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6 OR ((triple2) -> rule1))] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11 OR ((triple7) -> rule1))] Gary is round.[(triple12)]