Charlie is not furry. Charlie is green. Charlie is not kind. Fiona is not green. Fiona is white. Harry is kind. Harry is white. All young people are kind. If someone is blue then they are kind. If Charlie is big then Charlie is kind. If Harry is blue then Harry is not white. If someone is young and not kind then they are green. If someone is white then they are furry. If someone is blue and not kind then they are furry. If Harry is furry then Harry is big.
Harry is not green.
@0: Charlie is green.[(triple2)] Charlie is not furry.[(triple1)] Charlie is not kind.[(triple3)] Fiona is not green.[(triple4)] Fiona is white.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7)] @1: Fiona is furry.[(((triple5) -> rule6))] Harry is furry.[(((triple7) -> rule6))] @2: Harry is big.[(((((triple7) -> rule6)) -> rule8))]