Anne is not big. Anne is not kind. Anne is red. Fiona is not big. Fiona is blue. Fiona is cold. Fiona is not red. Fiona is rough. Fiona is not round. Gary is big. Gary is blue. Gary is not cold. Gary is red. Gary is rough. Gary is round. Big people are kind. If someone is blue and not cold then they are red.
Anne is round.
@0: Anne is not big.[(triple1)] Anne is not kind.[(triple2)] Anne is red.[(triple3)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is not big.[(triple4)] Fiona is not red.[(triple7)] Fiona is not round.[(triple9)] Fiona is rough.[(triple8)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is not cold.[(triple12)] Gary is red.[(triple13 OR ((triple11 triple12) -> rule2))] Gary is rough.[(triple14)] Gary is round.[(triple15)] @1: Gary is kind.[(((triple10) -> rule1))]