Anne is cold. Anne is furry. Anne is white. Bob is blue. Bob is furry. Bob is round. Fiona is furry. Fiona is green. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is white. If someone is rough then they are round. All white, furry people are rough.
Bob is not rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is round.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is rough.[(triple13 OR ((triple15 triple11) -> rule2))] Gary is round.[(triple14 OR ((triple13) -> rule1) OR ((((triple15 triple11) -> rule2)) -> rule1))] Gary is white.[(triple15)] @1: Anne is rough.[(((triple3 triple2) -> rule2))] @2: Anne is round.[(((((triple3 triple2) -> rule2)) -> rule1))]