Anne is blue. Anne is green. Anne is rough. Anne is white. Bob is blue. Bob is rough. Bob is young. Charlie is blue. Charlie is white. Charlie is young. Fiona is blue. Fiona is cold. Fiona is smart. Fiona is white. Fiona is young. All white, rough people are blue. White, blue people are green. All blue, young people are green. If Fiona is white then Fiona is green. Smart, green people are rough. If someone is green and white then they are smart.
Bob is blue.
@0: Anne is blue.[(triple1 OR ((triple4 triple3) -> rule1) OR ((triple4 ((((triple2 triple4) -> rule6) triple2) -> rule5)) -> rule1))] Anne is green.[(triple2 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4 triple3) -> rule1)) -> rule2))] Anne is rough.[(triple3 OR ((((triple2 triple4) -> rule6) triple2) -> rule5) OR ((((triple2 triple4) -> rule6) ((triple4 triple1) -> rule2)) -> rule5) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) triple2) -> rule5) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) ((triple4 triple1) -> rule2)) -> rule5))] Anne is white.[(triple4)] Bob is blue.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Charlie is blue.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Fiona is blue.[(triple11 OR ((triple14 ((triple13 ((triple14) -> rule4)) -> rule5)) -> rule1) OR ((triple14 ((((((triple14) -> rule4) triple14) -> rule6) ((triple14) -> rule4)) -> rule5)) -> rule1))] Fiona is cold.[(triple12)] Fiona is smart.[(triple13 OR ((((triple14) -> rule4) triple14) -> rule6) OR ((((triple11 triple15) -> rule3) triple14) -> rule6) OR ((((triple14 triple11) -> rule2) triple14) -> rule6))] Fiona is white.[(triple14)] Fiona is young.[(triple15)] @1: Anne is smart.[(((triple2 triple4) -> rule6) OR ((((triple4 triple1) -> rule2) triple4) -> rule6) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule2) triple4) -> rule6))] Bob is green.[(((triple5 triple7) -> rule3))] Charlie is green.[(((triple8 triple10) -> rule3) OR ((triple9 triple8) -> rule2))] Fiona is green.[(((triple14) -> rule4) OR ((triple11 triple15) -> rule3) OR ((triple14 triple11) -> rule2))] @2: Charlie is smart.[(((((triple8 triple10) -> rule3) triple9) -> rule6) OR ((((triple9 triple8) -> rule2) triple9) -> rule6))] Fiona is rough.[(((triple13 ((triple14) -> rule4)) -> rule5) OR ((triple13 ((triple11 triple15) -> rule3)) -> rule5) OR ((triple13 ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14) -> rule4) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple11 triple15) -> rule3) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14) -> rule4)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple11 triple15) -> rule3)) -> rule5) OR ((((((triple14 triple11) -> rule2) triple14) -> rule6) ((triple14 triple11) -> rule2)) -> rule5))] @3: Charlie is rough.[(((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple8 triple10) -> rule3) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple8 triple10) -> rule3)) -> rule5) OR ((((((triple9 triple8) -> rule2) triple9) -> rule6) ((triple9 triple8) -> rule2)) -> rule5))]