Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is smart. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Gary is blue. Gary is furry. Gary is rough. Gary is smart. If Bob is nice then Bob is rough. Smart people are green. If Bob is smart then Bob is nice. If someone is rough then they are green. All furry people are rough. If someone is nice and blue then they are cold. All smart people are blue. If someone is furry then they are nice.
Bob is not cold.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule7))] Anne is cold.[(triple2 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple6) -> rule7)) -> rule6) OR ((((triple3) -> rule8) triple1) -> rule6) OR ((((triple3) -> rule8) ((triple6) -> rule7)) -> rule6))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple6) -> rule2) OR ((((triple3) -> rule5)) -> rule4))] Anne is nice.[(triple5 OR ((triple3) -> rule8))] Anne is smart.[(triple6)] Bob is blue.[(triple7)] Bob is cold.[(triple8 OR ((triple11 triple7) -> rule6) OR ((((triple9) -> rule8) triple7) -> rule6))] Bob is furry.[(triple9)] Bob is green.[(triple10 OR ((triple12) -> rule4) OR ((((triple11) -> rule1)) -> rule4) OR ((((triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule8)) -> rule1)) -> rule4))] Bob is nice.[(triple11 OR ((triple9) -> rule8))] Bob is rough.[(triple12 OR ((triple11) -> rule1) OR ((triple9) -> rule5) OR ((((triple9) -> rule8)) -> rule1))] Gary is blue.[(triple13 OR ((triple16) -> rule7))] Gary is furry.[(triple14)] Gary is rough.[(triple15 OR ((triple14) -> rule5))] Gary is smart.[(triple16)] @1: Anne is rough.[(((triple3) -> rule5))] Gary is green.[(((triple15) -> rule4) OR ((triple16) -> rule2) OR ((((triple14) -> rule5)) -> rule4))] Gary is nice.[(((triple14) -> rule8))] @2: Gary is cold.[(((((triple14) -> rule8) triple13) -> rule6) OR ((((triple14) -> rule8) ((triple16) -> rule7)) -> rule6))]