Anne is big. Anne is not blue. Anne is not kind. Anne is not rough. Anne is young. Bob is not big. Bob is blue. Bob is not cold. Bob is kind. Bob is rough. Bob is not white. Fiona is blue. Fiona is not cold. Fiona is kind. Fiona is not white. Fiona is not young. White people are kind. If someone is white and not cold then they are not young. Young people are big. If someone is white then they are not blue. All rough people are blue. All white, cold people are not blue. If someone is cold then they are not white. All cold people are rough.
Fiona is cold.
@0: Anne is big.[(triple1 OR ((triple5) -> rule3))] Anne is not blue.[(triple2)] Anne is not kind.[(triple3)] Anne is not rough.[(triple4)] Anne is young.[(triple5)] Bob is blue.[(triple7 OR ((triple10) -> rule5))] Bob is kind.[(triple9)] Bob is not big.[(triple6)] Bob is not cold.[(triple8)] Bob is not white.[(triple11)] Bob is rough.[(triple10)] Fiona is blue.[(triple12)] Fiona is kind.[(triple14)] Fiona is not cold.[(triple13)] Fiona is not white.[(triple15)] Fiona is not young.[(triple16)]