Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is white. Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is round. Bob is white. If Anne is round and Anne is quiet then Anne is red. If Bob is white and Bob is round then Bob is green. If something is green then it is quiet.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple2) -> rule3))] Anne is red.[(triple5 OR ((triple6 triple4) -> rule1) OR ((triple6 ((triple2) -> rule3)) -> rule1))] Anne is round.[(triple6)] Anne is white.[(triple7)] Bob is big.[(triple8)] Bob is green.[(triple9 OR ((triple14 triple13) -> rule2))] Bob is nice.[(triple10)] Bob is quiet.[(triple11 OR ((triple9) -> rule3) OR ((((triple14 triple13) -> rule2)) -> rule3))] Bob is red.[(triple12)] Bob is round.[(triple13)] Bob is white.[(triple14)]