Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. If someone is round and not smart then they are quiet. All kind people are quiet. All quiet, blue people are young. If someone is smart and not cold then they are round. All kind people are round. If Fiona is kind and Fiona is not cold then Fiona is not quiet. If someone is round then they are blue. If someone is cold and not smart then they are not kind.
Fiona is not smart.
@0: Fiona is blue.[(triple1 OR ((triple5) -> rule7) OR ((((triple3) -> rule5)) -> rule7))] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4 OR ((triple3) -> rule2))] Fiona is round.[(triple5 OR ((triple3) -> rule5))] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple5) -> rule7)) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule3) OR ((((triple3) -> rule2) ((triple5) -> rule7)) -> rule3) OR ((triple4 ((((triple3) -> rule5)) -> rule7)) -> rule3) OR ((((triple3) -> rule2) ((((triple3) -> rule5)) -> rule7)) -> rule3))]