Fiona is big. Fiona is blue. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Fiona is not young. If Fiona is young then Fiona is not white. All big people are not young. Nice people are not young. If Fiona is young then Fiona is not red. If someone is nice and not young then they are round. If someone is white and not red then they are blue. All red people are blue. Blue, nice people are white.
Fiona is not red.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple4) -> rule7))] Fiona is nice.[(triple3)] Fiona is not young.[(triple7 OR ((triple1) -> rule2) OR ((triple3) -> rule3))] Fiona is red.[(triple4)] Fiona is round.[(triple5 OR ((triple3 triple7) -> rule5) OR ((triple3 ((triple1) -> rule2)) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule5))] Fiona is white.[(triple6 OR ((triple2 triple3) -> rule8) OR ((((triple4) -> rule7) triple3) -> rule8))]