Anne is green. Anne is nice. Anne is red. Bob is cold. Bob is not nice. Bob is smart. Dave is big. Dave is green. Dave is not nice. Dave is smart. Harry is green. Harry is red. If Anne is cold then Anne is not round. If something is not red then it is green. If something is red then it is green. All cold, big things are not smart. Nice things are big. All big things are round.
Bob is not big.