Anne is blue. Anne is furry. Anne is rough. Anne is round. Anne is young. Fiona is blue. Fiona is furry. Fiona is red. Fiona is rough. Gary is blue. Gary is rough. Harry is round. If someone is furry and blue then they are red. All young, blue people are red.
Anne is not furry.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is red.[(triple8 OR ((triple7 triple6) -> rule1))] Fiona is rough.[(triple9)] Gary is blue.[(triple10)] Gary is rough.[(triple11)] Harry is round.[(triple12)] @1: Anne is red.[(((triple2 triple1) -> rule1) OR ((triple5 triple1) -> rule2))]