Bob is smart. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is smart. Harry is cold. Harry is nice. All kind, nice people are rough. Kind, green people are smart. All nice people are rough. If Harry is smart then Harry is kind. If Charlie is cold and Charlie is big then Charlie is nice. All green, smart people are cold.
Bob is not rough.
@0: Bob is smart.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is smart.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is rough.[(((triple4) -> rule3) OR ((triple3 triple4) -> rule1))] Harry is rough.[(((triple7) -> rule3))]