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