Anne is round. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is white. Fiona is big. Fiona is furry. Fiona is green. Gary is big. Gary is cold. Gary is not green. Gary is kind. Gary is not round. Gary is white. If Charlie is furry then Charlie is not green. If Anne is big and Anne is not white then Anne is not round. Furry people are green.
Anne is white.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is white.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9 OR ((triple8) -> rule3))] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is kind.[(triple13)] Gary is not green.[(triple12)] Gary is not round.[(triple14)] Gary is white.[(triple15)]