Fiona is cold. Fiona is not furry. Fiona is green. Harry is big. Harry is cold. Harry is kind. Harry is white. If Harry is big then Harry is cold. Smart things are furry. If Fiona is furry and Fiona is kind then Fiona is not green. If Harry is kind then Harry is green. If Harry is kind and Harry is not cold then Harry is green. If something is green and not white then it is kind. If something is big and green then it is kind. All big, green things are smart.
Harry is not green.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple3)] Fiona is not furry.[(triple2)] Harry is big.[(triple4)] Harry is cold.[(triple5 OR ((triple4) -> rule1))] Harry is kind.[(triple6)] Harry is white.[(triple7)] @1: Harry is green.[(((triple6) -> rule4))] @2: Harry is smart.[(((triple4 ((triple6) -> rule4)) -> rule8))] @3: Harry is furry.[(((((triple4 ((triple6) -> rule4)) -> rule8)) -> rule2))]