Charlie is big. Charlie is not furry. Charlie is kind. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is smart. Dave is not young. Gary is big. Gary is smart. Gary is young. If someone is big then they are blue. If Dave is smart and Dave is rough then Dave is not kind.
Gary is smart.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple3)] Charlie is not furry.[(triple2)] Dave is big.[(triple4)] Dave is blue.[(triple5 OR ((triple4) -> rule1))] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is not young.[(triple9)] Dave is smart.[(triple8)] Gary is big.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule1))] Gary is blue.[(((triple10) -> rule1))]