Anne is blue. Anne is red. Anne is young. Bob is nice. Bob is young. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Gary is green. If something is red and blue then it is white. Green things are red. If something is white then it is quiet. If something is red then it is blue. All blue, young things are white. If Bob is quiet and Bob is green then Bob is young. Quiet, green things are young. Red, nice things are white. All white, nice things are quiet.
Gary is not quiet.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule4))] Anne is red.[(triple2)] Anne is young.[(triple3)] Bob is nice.[(triple4)] Bob is young.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7 OR ((triple9) -> rule3) OR ((triple9 triple6) -> rule9) OR ((((triple8 triple6) -> rule8)) -> rule3) OR ((((triple8 triple6) -> rule8) triple6) -> rule9) OR ((((triple8 ((triple8) -> rule4)) -> rule1)) -> rule3) OR ((((((triple8) -> rule4) triple10) -> rule5)) -> rule3) OR ((((triple8 ((triple8) -> rule4)) -> rule1) triple6) -> rule9) OR ((((((triple8) -> rule4) triple10) -> rule5) triple6) -> rule9))] Charlie is red.[(triple8)] Charlie is white.[(triple9 OR ((triple8 triple6) -> rule8) OR ((triple8 ((triple8) -> rule4)) -> rule1) OR ((((triple8) -> rule4) triple10) -> rule5))] Charlie is young.[(triple10)] Gary is green.[(triple11)] @1: Anne is white.[(((triple1 triple3) -> rule5) OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule4) triple3) -> rule5))] Charlie is blue.[(((triple8) -> rule4))] Gary is red.[(((triple11) -> rule2))] @2: Anne is quiet.[(((((triple1 triple3) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule4)) -> rule1)) -> rule3) OR ((((((triple2) -> rule4) triple3) -> rule5)) -> rule3))] Gary is blue.[(((((triple11) -> rule2)) -> rule4))] @3: Gary is white.[(((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule4)) -> rule1))] @4: Gary is quiet.[(((((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule3))] @5: Gary is young.[(((((((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule4)) -> rule1)) -> rule3) triple11) -> rule7))]