Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is white. Fiona is big. Fiona is not blue. Fiona is not cold. Fiona is not kind. Fiona is red. Fiona is rough. Fiona is white. All rough things are white. If Anne is big and Anne is kind then Anne is red.
Fiona is not kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5 OR ((triple1 triple4) -> rule2))] Anne is rough.[(triple6)] Anne is white.[(triple7 OR ((triple6) -> rule1))] Fiona is big.[(triple8)] Fiona is not blue.[(triple9)] Fiona is not cold.[(triple10)] Fiona is not kind.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is white.[(triple14 OR ((triple13) -> rule1))]