Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is smart. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Erin is blue. Fiona is nice. Fiona is smart. Fiona is white. Nice, green things are quiet. All white things are cold. If something is cold then it is green. Quiet, white things are smart. If something is cold then it is quiet. All green things are nice. If Erin is white and Erin is nice then Erin is smart. If Fiona is cold and Fiona is smart then Fiona is nice.
Anne is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple2) -> rule3))] Anne is nice.[(triple4 OR ((triple3) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Anne is smart.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7 OR ((triple12) -> rule2))] Bob is green.[(triple8 OR ((triple7) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] Bob is nice.[(triple9 OR ((triple8) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple12) -> rule2)) -> rule3)) -> rule6))] Bob is quiet.[(triple10 OR ((triple7) -> rule5) OR ((triple9 triple8) -> rule1) OR ((((triple12) -> rule2)) -> rule5) OR ((triple9 ((triple7) -> rule3)) -> rule1) OR ((((triple8) -> rule6) triple8) -> rule1) OR ((((triple8) -> rule6) ((triple7) -> rule3)) -> rule1) OR ((triple9 ((((triple12) -> rule2)) -> rule3)) -> rule1) OR ((((((triple7) -> rule3)) -> rule6) triple8) -> rule1) OR ((((triple8) -> rule6) ((((triple12) -> rule2)) -> rule3)) -> rule1) OR ((((((triple7) -> rule3)) -> rule6) ((triple7) -> rule3)) -> rule1) OR ((((((triple7) -> rule3)) -> rule6) ((((triple12) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple12) -> rule2)) -> rule3)) -> rule6) triple8) -> rule1) OR ((((((((triple12) -> rule2)) -> rule3)) -> rule6) ((triple7) -> rule3)) -> rule1) OR ((((((((triple12) -> rule2)) -> rule3)) -> rule6) ((((triple12) -> rule2)) -> rule3)) -> rule1))] Bob is smart.[(triple11 OR ((triple10 triple12) -> rule4) OR ((((triple7) -> rule5) triple12) -> rule4) OR ((((triple9 triple8) -> rule1) triple12) -> rule4) OR ((((((triple12) -> rule2)) -> rule5) triple12) -> rule4) OR ((((triple9 ((triple7) -> rule3)) -> rule1) triple12) -> rule4) OR ((((((triple8) -> rule6) triple8) -> rule1) triple12) -> rule4) OR ((((((triple8) -> rule6) ((triple7) -> rule3)) -> rule1) triple12) -> rule4) OR ((((triple9 ((((triple12) -> rule2)) -> rule3)) -> rule1) triple12) -> rule4) OR ((((((((triple7) -> rule3)) -> rule6) triple8) -> rule1) triple12) -> rule4) OR ((((((triple8) -> rule6) ((((triple12) -> rule2)) -> rule3)) -> rule1) triple12) -> rule4) OR ((((((((triple7) -> rule3)) -> rule6) ((triple7) -> rule3)) -> rule1) triple12) -> rule4) OR ((((((((triple7) -> rule3)) -> rule6) ((((triple12) -> rule2)) -> rule3)) -> rule1) triple12) -> rule4) OR ((((((((((triple12) -> rule2)) -> rule3)) -> rule6) triple8) -> rule1) triple12) -> rule4) OR ((((((((((triple12) -> rule2)) -> rule3)) -> rule6) ((triple7) -> rule3)) -> rule1) triple12) -> rule4) OR ((((((((((triple12) -> rule2)) -> rule3)) -> rule6) ((((triple12) -> rule2)) -> rule3)) -> rule1) triple12) -> rule4))] Bob is white.[(triple12)] Erin is blue.[(triple13)] Fiona is nice.[(triple14 OR ((((triple16) -> rule2) triple15) -> rule8) OR ((((((triple16) -> rule2)) -> rule3)) -> rule6) OR ((((triple16) -> rule2) ((((((triple16) -> rule2)) -> rule5) triple16) -> rule4)) -> rule8))] Fiona is smart.[(triple15 OR ((((((triple16) -> rule2)) -> rule5) triple16) -> rule4) OR ((((triple14 ((((triple16) -> rule2)) -> rule3)) -> rule1) triple16) -> rule4) OR ((((((((((triple16) -> rule2)) -> rule3)) -> rule6) ((((triple16) -> rule2)) -> rule3)) -> rule1) triple16) -> rule4))] Fiona is white.[(triple16)] @1: Anne is quiet.[(((triple2) -> rule5) OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple2) -> rule3)) -> rule1) OR ((((triple3) -> rule6) triple3) -> rule1) OR ((((triple3) -> rule6) ((triple2) -> rule3)) -> rule1) OR ((((((triple2) -> rule3)) -> rule6) triple3) -> rule1) OR ((((((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule1))] Fiona is cold.[(((triple16) -> rule2))] @2: Fiona is green.[(((((triple16) -> rule2)) -> rule3))] Fiona is quiet.[(((((triple16) -> rule2)) -> rule5) OR ((triple14 ((((triple16) -> rule2)) -> rule3)) -> rule1) OR ((((((triple16) -> rule2) triple15) -> rule8) ((((triple16) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple16) -> rule2)) -> rule3)) -> rule6) ((((triple16) -> rule2)) -> rule3)) -> rule1))]