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