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