Charlie is blue. Charlie is not furry. Charlie is red. Charlie is round. Dave is big. Dave is not blue. Dave is green. Dave is kind. Dave is red. Gary is not big. Gary is not blue. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is not round. Blue people are green. If someone is kind then they are green.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is not furry.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Dave is big.[(triple5)] Dave is green.[(triple7 OR ((triple8) -> rule2))] Dave is kind.[(triple8)] Dave is not blue.[(triple6)] Dave is red.[(triple9)] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple14) -> rule2))] Gary is kind.[(triple14)] Gary is not big.[(triple10)] Gary is not blue.[(triple11)] Gary is not round.[(triple16)] Gary is red.[(triple15)] @1: Charlie is green.[(((triple1) -> rule1))]