Bob is kind. Bob is nice. Bob is quiet. Erin is furry. Erin is nice. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is quiet. If something is blue and nice then it is not green. If something is nice then it is blue. If something is furry and not green then it is not big. If something is kind and not nice then it is not quiet. All green things are quiet. If something is green and big then it is not kind.
Bob is not furry.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10 OR ((triple8) -> rule5))] @1: Bob is blue.[(((triple2) -> rule2))] Erin is blue.[(((triple5) -> rule2))] @2: Bob is not green.[(((((triple2) -> rule2) triple2) -> rule1))] Erin is not green.[(((((triple5) -> rule2) triple5) -> rule1))] @3: Erin is not big.[(((triple4 ((((triple5) -> rule2) triple5) -> rule1)) -> rule3))]