Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is young. If someone is young and round then they are blue. All round people are young. If someone is cold then they are red. If someone is kind then they are cold. Kind, red people are blue. If Anne is green and Anne is kind then Anne is cold.
Anne is young.
@0: Anne is blue.[(triple1 OR ((triple4 triple5) -> rule5) OR ((triple7 triple6) -> rule1) OR ((triple4 ((triple2) -> rule3)) -> rule5) OR ((((triple6) -> rule2) triple6) -> rule1) OR ((triple4 ((((triple4) -> rule4)) -> rule3)) -> rule5) OR ((triple4 ((((triple3 triple4) -> rule6)) -> rule3)) -> rule5))] Anne is cold.[(triple2 OR ((triple4) -> rule4) OR ((triple3 triple4) -> rule6))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5 OR ((triple2) -> rule3) OR ((((triple4) -> rule4)) -> rule3) OR ((((triple3 triple4) -> rule6)) -> rule3))] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple6) -> rule2))]