Fiona is quiet. If someone is quiet then they are cold. Red people are round. If someone is round and white then they are quiet. If someone is green and cold then they are round. If someone is cold then they are green. Kind, round people are cold. All kind people are quiet. All cold people are red.
Fiona is kind.
@0: Fiona is quiet.[(triple1)] @1: Fiona is cold.[(((triple1) -> rule1))] @2: Fiona is green.[(((((triple1) -> rule1)) -> rule5))] Fiona is red.[(((((triple1) -> rule1)) -> rule8))] @3: Fiona is round.[(((((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule4))]