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