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