Fiona is big. Fiona is not cold. Fiona is furry. Fiona is nice. Fiona is not red. Fiona is rough. Fiona is white. If Fiona is cold then Fiona is nice. If something is big then it is nice. If something is cold then it is big. If Fiona is not furry then Fiona is not cold. If Fiona is not big then Fiona is white. If something is cold and not nice then it is not white. All white, nice things are rough. All red things are not rough.
Fiona is not rough.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4 OR ((triple1) -> rule2))] Fiona is not cold.[(triple2)] Fiona is not red.[(triple5)] Fiona is rough.[(triple6 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple1) -> rule2)) -> rule7))] Fiona is white.[(triple7)]