Anne is quiet. Anne is rough. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Charlie is red. Charlie is smart. Harry is blue. Harry is kind. Harry is red. All smart people are red. If Harry is blue then Harry is red. All blue people are red. All blue people are rough. If someone is smart then they are blue. Kind, smart people are quiet.
Bob is rough.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple4 triple7) -> rule6))] Bob is rough.[(triple6 OR ((((triple7) -> rule5)) -> rule4))] Bob is smart.[(triple7)] Charlie is red.[(triple8 OR ((triple9) -> rule1) OR ((((triple9) -> rule5)) -> rule3))] Charlie is smart.[(triple9)] Harry is blue.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12 OR ((triple10) -> rule2) OR ((triple10) -> rule3))] @1: Bob is blue.[(((triple7) -> rule5))] Bob is red.[(((triple7) -> rule1) OR ((((triple7) -> rule5)) -> rule3))] Charlie is blue.[(((triple9) -> rule5))] Harry is rough.[(((triple10) -> rule4))] @2: Charlie is rough.[(((((triple9) -> rule5)) -> rule4))]