Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Anne is young. If Anne is white then Anne is quiet. If something is white and cold then it is smart. If Anne is cold then Anne is smart. If something is young then it is cold. If something is cold and not smart then it is rough. If something is nice and not smart then it is quiet. Smart, young things are quiet. If something is young and not white then it is quiet.
Anne is not nice.
@0: Anne is cold.[(triple1 OR ((triple7) -> rule4))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple6) -> rule1) OR ((triple5 triple7) -> rule7) OR ((((triple1) -> rule3) triple7) -> rule7) OR ((((triple6 triple1) -> rule2) triple7) -> rule7) OR ((((((triple7) -> rule4)) -> rule3) triple7) -> rule7) OR ((((triple6 ((triple7) -> rule4)) -> rule2) triple7) -> rule7))] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple1) -> rule3) OR ((triple6 triple1) -> rule2) OR ((((triple7) -> rule4)) -> rule3) OR ((triple6 ((triple7) -> rule4)) -> rule2))] Anne is white.[(triple6)] Anne is young.[(triple7)]