Anne is big. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is young. Fiona is big. Gary is green. Gary is round. If Fiona is red and Fiona is cold then Fiona is big. Young, round people are red. All rough people are cold.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule3))] Anne is green.[(triple3)] Anne is red.[(triple4 OR ((triple7 triple6) -> rule2))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Gary is green.[(triple9)] Gary is round.[(triple10)]