Bob is nice. Bob is round. Bob is not white. Charlie is nice. Charlie is white. Gary is green. Gary is kind. Gary is quiet. Harry is cold. Harry is white. If someone is white and kind then they are cold. Green people are white. If Gary is cold then Gary is quiet. If someone is round and not cold then they are quiet. All cold people are nice. If someone is white and not quiet then they are nice.
Bob is not quiet.
@0: Bob is nice.[(triple1)] Bob is not white.[(triple3)] Bob is round.[(triple2)] Charlie is nice.[(triple4)] Charlie is white.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((((((triple6) -> rule2) triple7) -> rule1)) -> rule3))] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Gary is white.[(((triple6) -> rule2))] Harry is nice.[(((triple9) -> rule5))] @2: Gary is cold.[(((((triple6) -> rule2) triple7) -> rule1))] @3: Gary is nice.[(((((((triple6) -> rule2) triple7) -> rule1)) -> rule5))]