Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is not nice. Fiona is not round. Fiona is not white. Kind things are blue. White, big things are cold. If something is white and not kind then it is round. If Fiona is blue then Fiona is not nice. If Fiona is cold and Fiona is round then Fiona is not blue. If Fiona is cold then Fiona is blue. If Fiona is blue and Fiona is not cold then Fiona is round. All blue things are not nice.
Fiona is cold.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple3) -> rule6) OR ((triple4) -> rule1))] Fiona is cold.[(triple3)] Fiona is kind.[(triple4)] Fiona is not nice.[(triple5 OR ((triple2) -> rule4) OR ((triple2) -> rule8) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule1)) -> rule8))] Fiona is not round.[(triple6)] Fiona is not white.[(triple7)]