Bob is green. Fiona is blue. Fiona is kind. Gary is blue. Harry is not green. Harry is not kind. Harry is nice. If someone is quiet and kind then they are big. If someone is blue and not round then they are nice. If Bob is quiet and Bob is not round then Bob is big. If someone is nice then they are not blue. If someone is round then they are blue. If someone is round and big then they are blue. If someone is blue then they are kind. Green people are not quiet.
Bob is not green.
@0: Bob is green.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3 OR ((triple2) -> rule7))] Gary is blue.[(triple4)] Harry is nice.[(triple7)] Harry is not green.[(triple5)] Harry is not kind.[(triple6)] @1: Bob is not quiet.[(((triple1) -> rule8))] Gary is kind.[(((triple4) -> rule7))] Harry is not blue.[(((triple7) -> rule4))]