Anne is nice. Fiona is round. Gary is cold. Harry is not red. If someone is cold and rough then they are big. If Anne is big then Anne is rough. If someone is cold then they are not rough. All nice people are rough. Red people are not green. All round, rough people are not nice. If someone is nice and round then they are cold. If someone is green then they are round.
Anne is red.
@0: Anne is nice.[(triple1)] Fiona is round.[(triple2)] Gary is cold.[(triple3)] Harry is not red.[(triple4)] @1: Anne is rough.[(((triple1) -> rule4))] Gary is not rough.[(((triple3) -> rule3))]