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