Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is white. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is white. Big things are quiet.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple1) -> rule1))] Anne is round.[(triple6)] Anne is white.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is quiet.[(triple12 OR ((triple8) -> rule1))] Dave is round.[(triple13)] Dave is white.[(triple14)]