Anne is cold. Anne is quiet. Anne is smart. Anne is young. Bob is cold. Bob is quiet. Bob is round. Bob is not white. Bob is young. Charlie is cold. Charlie is quiet. Gary is cold. If someone is red and not young then they are round. If someone is smart then they are quiet.
Bob is not young.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule2))] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is cold.[(triple5)] Bob is not white.[(triple8)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Bob is young.[(triple9)] Charlie is cold.[(triple10)] Charlie is quiet.[(triple11)] Gary is cold.[(triple12)]