Dave is kind. Fiona is blue. Gary is big. Harry is kind. Big, young things are kind. All blue things are kind. If Fiona is big and Fiona is green then Fiona is not kind. All kind, big things are furry. All kind things are not big. All furry things are not green.
Fiona is blue.
@0: Dave is kind.[(triple1)] Fiona is blue.[(triple2)] Gary is big.[(triple3)] Harry is kind.[(triple4)] @1: Dave is not big.[(((triple1) -> rule5))] Fiona is kind.[(((triple2) -> rule2))] Harry is not big.[(((triple4) -> rule5))] @2: Fiona is not big.[(((((triple2) -> rule2)) -> rule5))]