Fiona is big. Fiona is smart. Fiona is white. Smart things are round. All green things are round. All blue, smart things are not round. If something is kind and big then it is round. If Fiona is green then Fiona is not kind. If something is blue and not big then it is white. All kind things are blue. If something is round then it is green.
Fiona is white.
@0: Fiona is big.[(triple1)] Fiona is smart.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is round.[(((triple2) -> rule1))] @2: Fiona is green.[(((((triple2) -> rule1)) -> rule8))] @3: Fiona is not kind.[(((((((triple2) -> rule1)) -> rule8)) -> rule5))]