Fiona is big. Fiona is blue. Fiona is not cold. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. If Fiona is not rough then Fiona is cold. If Fiona is big and Fiona is round then Fiona is blue. If something is round and not cold then it is red.
Fiona is not blue.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple7) -> rule2))] Fiona is nice.[(triple4)] Fiona is not cold.[(triple3)] Fiona is red.[(triple5 OR ((triple7 triple3) -> rule3))] Fiona is rough.[(triple6)] Fiona is round.[(triple7)]