Anne is kind. Anne is nice. Anne is smart. Anne is white. Anne is young. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. All quiet people are cold. If Charlie is quiet and Charlie is nice then Charlie is cold.
Anne is quiet.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is cold.[(triple6 OR ((triple9) -> rule1) OR ((triple9 triple8) -> rule2))] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is quiet.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Charlie is young.[(triple12)]