Bob is kind. Bob is not round. Bob is smart. Harry is not big. Harry is kind. Harry is quiet. Harry is round. Kind, round things are not rough. If something is big and not rough then it is blue. If something is blue and not big then it is quiet.
Bob is rough.
@0: Bob is kind.[(triple1)] Bob is not round.[(triple2)] Bob is smart.[(triple3)] Harry is kind.[(triple5)] Harry is not big.[(triple4)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is not rough.[(((triple5 triple7) -> rule1))]