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