Anne is blue. Anne is cold. Anne is furry. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Dave is furry. Dave is green. Dave is kind. White people are furry. Cold, kind people are quiet.
Charlie is furry.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9 OR ((triple5 triple8) -> rule2))] Dave is furry.[(triple10)] Dave is green.[(triple11)] Dave is kind.[(triple12)]