Bob is not kind. Bob is not nice. Bob is rough. Bob is not round. Bob is smart. Dave is not kind. Dave is rough. Dave is round. Erin is green. Erin is kind. Erin is rough. Erin is round. Erin is not smart. Gary is rough. Gary is white. Nice, smart people are kind. White, green people are kind. Nice people are white. If Erin is white then Erin is nice. All smart, round people are green. If someone is round and kind then they are nice.
Gary is smart.
@0: Bob is not kind.[(triple1)] Bob is not nice.[(triple2)] Bob is not round.[(triple4)] Bob is rough.[(triple3)] Bob is smart.[(triple5)] Dave is not kind.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is not smart.[(triple13)] Erin is rough.[(triple11)] Erin is round.[(triple12)] Gary is rough.[(triple14)] Gary is white.[(triple15)] @1: Erin is nice.[(((triple12 triple10) -> rule6))] @2: Erin is white.[(((((triple12 triple10) -> rule6)) -> rule3))]