Anne is not big. Anne is blue. Anne is cold. Anne is quiet. Anne is red. Gary is not big. Gary is blue. Gary is not cold. Gary is kind. Gary is quiet. Gary is not red. Gary is young. If someone is blue and big then they are young. If someone is kind and not big then they are young. All red people are cold. All big people are blue. If Anne is cold and Anne is red then Anne is not kind. If someone is big and not blue then they are not quiet.
Anne is cold.
@0: Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple5) -> rule3))] Anne is not big.[(triple1)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Gary is blue.[(triple7)] Gary is kind.[(triple9)] Gary is not big.[(triple6)] Gary is not cold.[(triple8)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Gary is young.[(triple12 OR ((triple9 triple6) -> rule2))] @1: Anne is not kind.[(((triple3 triple5) -> rule5) OR ((((triple5) -> rule3) triple5) -> rule5))]