Anne is big. Anne is not cold. Anne is not red. Bob is cold. Bob is red. Bob is not round. Fiona is big. Fiona is round. Harry is not big. Harry is cold. If Harry is cold and Harry is blue then Harry is young. If something is red and big then it is round. If Anne is red and Anne is cold then Anne is young. Young, blue things are not red. If something is round and green then it is red. If Harry is green and Harry is not cold then Harry is red. If something is big then it is not young. If something is green then it is blue.
Fiona is not big.
@0: Anne is big.[(triple1)] Anne is not cold.[(triple2)] Anne is not red.[(triple3)] Bob is cold.[(triple4)] Bob is not round.[(triple6)] Bob is red.[(triple5)] Fiona is big.[(triple7)] Fiona is round.[(triple8)] Harry is cold.[(triple10)] Harry is not big.[(triple9)] @1: Anne is not young.[(((triple1) -> rule7))] Fiona is not young.[(((triple7) -> rule7))]