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