Anne is big. Anne is cold. Anne is not quiet. Charlie is cold. Charlie is kind. Charlie is young. Fiona is cold. Fiona is red. Fiona is young. Harry is not young. If Anne is cold then Anne is big. If Fiona is not cold then Fiona is kind. If someone is green and big then they are not kind. If someone is kind then they are red. If Harry is green and Harry is not quiet then Harry is kind. If someone is kind and not green then they are big.
Anne is not cold.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is cold.[(triple2)] Anne is not quiet.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is red.[(triple8)] Fiona is young.[(triple9)] Harry is not young.[(triple10)] @1: Charlie is red.[(((triple5) -> rule4))]