Charlie is not green. Fiona is kind. If something is big then it is furry. Furry things are not red. If something is white and not kind then it is red. Kind things are big. If Fiona is furry and Fiona is red then Fiona is not big. If something is white and not red then it is green.
Charlie is not furry.
@0: Charlie is not green.[(triple1)] Fiona is kind.[(triple2)] @1: Fiona is big.[(((triple2) -> rule4))] @2: Fiona is furry.[(((((triple2) -> rule4)) -> rule1))] @3: Fiona is not red.[(((((((triple2) -> rule4)) -> rule1)) -> rule2))]