Dave is big. Dave is not kind. Dave is quiet. Dave is not red. Dave is smart. Erin is big. Erin is not cold. Erin is not kind. Erin is smart. Erin is not young. Gary is big. Gary is cold. Gary is quiet. Gary is not red. Gary is smart. Gary is young. If someone is kind then they are big. All kind, young people are smart. All quiet, kind people are red. All red people are not young. If Gary is kind and Gary is red then Gary is cold. If someone is young then they are quiet. All kind, cold people are quiet. Smart, quiet people are not kind.
Gary is kind.
@0: Dave is big.[(triple1)] Dave is not kind.[(triple2 OR ((triple5 triple3) -> rule8))] Dave is not red.[(triple4)] Dave is quiet.[(triple3)] Dave is smart.[(triple5)] Erin is big.[(triple6)] Erin is not cold.[(triple7)] Erin is not kind.[(triple8)] Erin is not young.[(triple10)] Erin is smart.[(triple9)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is not red.[(triple14)] Gary is quiet.[(triple13 OR ((triple16) -> rule6))] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Gary is not kind.[(((triple15 triple13) -> rule8) OR ((triple15 ((triple16) -> rule6)) -> rule8))]