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