Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is rough. Fiona is white. Fiona is young. All quiet people are young. If someone is young then they are rough. All quiet people are rough. All red, kind people are rough. If Fiona is red then Fiona is blue. Kind people are not red.
Fiona is not kind.
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2)] Fiona is not red.[(triple4 OR ((triple2) -> rule6))] Fiona is quiet.[(triple3)] Fiona is rough.[(triple5 OR ((triple3) -> rule3) OR ((triple7) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple3) -> rule1))]