Anne is big. Anne is blue. Anne is not kind. Anne is quiet. Anne is rough. Anne is not round. Anne is white. Bob is big. Bob is kind. Bob is quiet. Bob is rough. Bob is not round. Bob is white. Dave is big. Dave is quiet. Dave is not round. Rough people are blue.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule1))] Anne is not kind.[(triple3)] Anne is not round.[(triple6)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple7)] Bob is big.[(triple8)] Bob is kind.[(triple9)] Bob is not round.[(triple12)] Bob is quiet.[(triple10)] Bob is rough.[(triple11)] Bob is white.[(triple13)] Dave is big.[(triple14)] Dave is not round.[(triple16)] Dave is quiet.[(triple15)] @1: Bob is blue.[(((triple11) -> rule1))]