Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is smart. Anne is white. Anne is young. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. If someone is quiet and cold then they are green.
Charlie is quiet.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple4 triple1) -> rule1))] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10 OR ((triple11 triple8) -> rule1))] Charlie is quiet.[(triple11)] Charlie is smart.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14)]