Anne is kind. Anne is nice. Anne is round. Anne is young. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is round. Red people are quiet. If someone is cold and young then they are quiet.
Anne is not quiet.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8 OR ((triple9) -> rule1))] Bob is red.[(triple9)] Bob is round.[(triple10)]