Anne is blue. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is white. Anne is young. Bob is red. Bob is young. Charlie is blue. Charlie is green. Charlie is red. If someone is rough and red then they are blue. If someone is young then they are white. If someone is white and blue then they are green. If someone is blue then they are red. All white, red people are blue. Green, white people are rough. If someone is rough then they are white. If Charlie is rough and Charlie is green then Charlie is red.
Bob is quiet.
@0: Anne is blue.[(triple1 OR ((triple5 triple4) -> rule1) OR ((triple6 triple4) -> rule5) OR ((((triple5) -> rule7) triple4) -> rule5) OR ((((triple7) -> rule2) triple4) -> rule5) OR ((((triple2 triple6) -> rule6) triple4) -> rule1) OR ((((triple2 ((triple7) -> rule2)) -> rule6) triple4) -> rule1))] Anne is green.[(triple2 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple5 triple4) -> rule1)) -> rule3) OR ((triple6 ((triple6 triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule7) triple1) -> rule3) OR ((((triple7) -> rule2) triple1) -> rule3) OR ((((triple5) -> rule7) ((triple5 triple4) -> rule1)) -> rule3) OR ((((triple5) -> rule7) ((triple6 triple4) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((triple5 triple4) -> rule1)) -> rule3) OR ((((triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule3) OR ((triple6 ((((triple5) -> rule7) triple4) -> rule5)) -> rule3) OR ((triple6 ((((triple7) -> rule2) triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule7) ((((triple5) -> rule7) triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule7) ((((triple7) -> rule2) triple4) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((triple5) -> rule7) triple4) -> rule5)) -> rule3) OR ((((triple7) -> rule2) ((((triple7) -> rule2) triple4) -> rule5)) -> rule3))] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple1) -> rule4))] Anne is rough.[(triple5 OR ((triple2 triple6) -> rule6) OR ((triple2 ((triple7) -> rule2)) -> rule6) OR ((((triple6 triple1) -> rule3) triple6) -> rule6) OR ((((triple6 triple1) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((triple6 ((triple6 triple4) -> rule5)) -> rule3) triple6) -> rule6) OR ((((((triple7) -> rule2) triple1) -> rule3) triple6) -> rule6) OR ((((triple6 ((triple6 triple4) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule2) triple1) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule3) triple6) -> rule6) OR ((((((triple7) -> rule2) ((triple6 triple4) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((triple6 ((((triple7) -> rule2) triple4) -> rule5)) -> rule3) triple6) -> rule6) OR ((((triple6 ((((triple7) -> rule2) triple4) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule2) ((((triple7) -> rule2) triple4) -> rule5)) -> rule3) triple6) -> rule6) OR ((((((triple7) -> rule2) ((((triple7) -> rule2) triple4) -> rule5)) -> rule3) ((triple7) -> rule2)) -> rule6))] Anne is white.[(triple6 OR ((triple5) -> rule7) OR ((triple7) -> rule2))] Anne is young.[(triple7)] Bob is red.[(triple8)] Bob is young.[(triple9)] Charlie is blue.[(triple10)] Charlie is green.[(triple11)] Charlie is red.[(triple12 OR ((triple10) -> rule4))] @1: Bob is white.[(((triple9) -> rule2))] @2: Bob is blue.[(((((triple9) -> rule2) triple8) -> rule5))] @3: Bob is green.[(((((triple9) -> rule2) ((((triple9) -> rule2) triple8) -> rule5)) -> rule3))] @4: Bob is rough.[(((((((triple9) -> rule2) ((((triple9) -> rule2) triple8) -> rule5)) -> rule3) ((triple9) -> rule2)) -> rule6))]