Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is white. Bob is big. Bob is green. Bob is quiet. Bob is round. Bob is white. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is white. If Anne is white then Anne is green. If someone is white then they are quiet. Green, rough people are quiet.
Bob is not nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple6) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple6) -> rule2))] Anne is round.[(triple5)] Anne is white.[(triple6)] Bob is big.[(triple7)] Bob is green.[(triple8)] Bob is quiet.[(triple9 OR ((triple11) -> rule2))] Bob is round.[(triple10)] Bob is white.[(triple11)] Charlie is big.[(triple12)] Charlie is nice.[(triple13)] Charlie is quiet.[(triple14 OR ((triple15) -> rule2))] Charlie is white.[(triple15)]