The dog is big. The dog is blue. The dog is not round. The dog likes the tiger. The dog does not need the tiger. The dog visits the tiger. The rabbit is round. The rabbit likes the tiger. The rabbit visits the dog. The tiger is nice. The tiger likes the dog. The tiger does not like the rabbit. The tiger needs the dog. The tiger needs the rabbit. The tiger visits the rabbit. If someone needs the dog and they are round then the dog likes the rabbit. All big people are red. If someone visits the tiger and they like the tiger then they do not like the rabbit. If someone is blue and they like the rabbit then the rabbit visits the tiger. If someone is round then they like the tiger. If someone likes the rabbit and they like the dog then they need the dog. If the dog does not like the rabbit and the dog does not need the tiger then the dog needs the rabbit. If someone needs the rabbit then they are nice.
The tiger is not red.
@0: The dog does not need the tiger.[(triple5)] The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is not round.[(triple3)] The dog likes the tiger.[(triple4)] The dog visits the tiger.[(triple6)] The rabbit is round.[(triple7)] The rabbit likes the tiger.[(triple8 OR ((triple7) -> rule5))] The rabbit visits the dog.[(triple9)] The tiger does not like the rabbit.[(triple12)] The tiger is nice.[(triple10 OR ((triple14) -> rule8))] The tiger likes the dog.[(triple11)] The tiger needs the dog.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The dog does not like the rabbit.[(((triple6 triple4) -> rule3))] The dog is red.[(((triple1) -> rule2))] @2: The dog needs the rabbit.[(((((triple6 triple4) -> rule3) triple5) -> rule7))] @3: The dog is nice.[(((((((triple6 triple4) -> rule3) triple5) -> rule7)) -> rule8))]