Charlie is green. Charlie is young. Dave is furry. Dave is not nice. Dave is rough. Gary is red. Gary is not young. If someone is smart and green then they are not rough. If someone is nice and not furry then they are rough. If someone is young and green then they are nice. Furry people are red. Rough, young people are smart. If Gary is young and Gary is smart then Gary is green.
Gary is green.
@0: Charlie is green.[(triple1)] Charlie is young.[(triple2)] Dave is furry.[(triple3)] Dave is not nice.[(triple4)] Dave is rough.[(triple5)] Gary is not young.[(triple7)] Gary is red.[(triple6)] @1: Charlie is nice.[(((triple2 triple1) -> rule3))] Dave is red.[(((triple3) -> rule4))]