Anne is big. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Bob is cold. Bob is kind. Harry is big. Harry is cold. Harry is quiet. Harry is red. Harry is smart. Smart people are kind. If Harry is not rough then Harry is cold. All kind, smart people are quiet. If someone is cold then they are quiet. If Harry is cold then Harry is red. If someone is red and not kind then they are not cold.
Bob is not smart.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10 OR ((triple9) -> rule4) OR ((((triple12) -> rule1) triple12) -> rule3))] Harry is red.[(triple11 OR ((triple9) -> rule5))] Harry is smart.[(triple12)] @1: Bob is quiet.[(((triple6) -> rule4))] Harry is kind.[(((triple12) -> rule1))]