Anne is not green. Anne is nice. Bob is big. Bob is not green. Bob is kind. Bob is nice. Bob is quiet. Bob is round. Bob is white. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is not round. Dave is white. All big people are quiet. If someone is quiet and not white then they are green. If someone is round then they are big.
Anne is not big.
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Bob is big.[(triple3 OR ((triple8) -> rule3))] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is not green.[(triple4)] Bob is quiet.[(triple7 OR ((triple3) -> rule1) OR ((((triple8) -> rule3)) -> rule1))] Bob is round.[(triple8)] Bob is white.[(triple9)] Dave is big.[(triple10)] Dave is green.[(triple11)] Dave is kind.[(triple12)] Dave is nice.[(triple13)] Dave is not round.[(triple14)] Dave is white.[(triple15)] @1: Dave is quiet.[(((triple10) -> rule1))]