Anne is big. Anne is blue. Anne is quiet. Anne is red. Anne is not rough. Anne is white. Anne is young. Quiet things are big. Rough things are not big. If something is blue and not rough then it is big. If Anne is white then Anne is big. If something is white and not rough then it is red. If something is quiet and rough then it is red. If something is young then it is quiet. If something is young and red then it is white.
Anne is blue.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1) OR ((triple6) -> rule4) OR ((triple2 triple5) -> rule3) OR ((((triple7) -> rule7)) -> rule1) OR ((((triple7 triple4) -> rule8)) -> rule4))] Anne is blue.[(triple2)] Anne is not rough.[(triple5)] Anne is quiet.[(triple3 OR ((triple7) -> rule7))] Anne is red.[(triple4 OR ((triple6 triple5) -> rule5))] Anne is white.[(triple6 OR ((triple7 triple4) -> rule8))] Anne is young.[(triple7)]