Anne is blue. Anne is rough. Anne is white. If Anne is kind then Anne is nice. All kind, nice things are blue. If something is white and quiet then it is rough. If something is blue and nice then it is big. All kind things are big. If something is white then it is nice. Big, nice things are quiet. If something is blue then it is kind.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2 OR ((triple3 ((((((triple1) -> rule8)) -> rule5) ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((triple3 ((((triple1 ((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((triple3 ((((((triple1) -> rule8)) -> rule5) ((((triple1) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple3 ((((triple1 ((triple3) -> rule6)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7)) -> rule3) OR ((triple3 ((((triple1 ((((triple1) -> rule8)) -> rule1)) -> rule4) ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((triple3 ((((triple1 ((((triple1) -> rule8)) -> rule1)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7)) -> rule3))] Anne is white.[(triple3)] @1: Anne is kind.[(((triple1) -> rule8))] Anne is nice.[(((triple3) -> rule6) OR ((((triple1) -> rule8)) -> rule1))] @2: Anne is big.[(((((triple1) -> rule8)) -> rule5) OR ((triple1 ((triple3) -> rule6)) -> rule4) OR ((triple1 ((((triple1) -> rule8)) -> rule1)) -> rule4))] @3: Anne is quiet.[(((((((triple1) -> rule8)) -> rule5) ((triple3) -> rule6)) -> rule7) OR ((((triple1 ((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule7) OR ((((((triple1) -> rule8)) -> rule5) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((triple3) -> rule6)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((triple1) -> rule8)) -> rule1)) -> rule4) ((triple3) -> rule6)) -> rule7) OR ((((triple1 ((((triple1) -> rule8)) -> rule1)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7))]