Anne is not cold. Anne is not red. Anne is rough. Bob is not furry. Bob is not round. Bob is not smart. Dave is red. Gary is red. Gary is rough. Gary is smart. White, round people are cold. All white people are not cold. All furry people are not rough. Furry, red people are white. If Gary is smart then Gary is round. If someone is rough then they are round. If Bob is red then Bob is smart. Cold people are furry.
Dave is rough.
@0: Anne is not cold.[(triple1)] Anne is not red.[(triple2)] Anne is rough.[(triple3)] Bob is not furry.[(triple4)] Bob is not round.[(triple5)] Bob is not smart.[(triple6)] Dave is red.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Anne is round.[(((triple3) -> rule6))] Gary is round.[(((triple10) -> rule5) OR ((triple9) -> rule6))]