The cat chases the dog. The cat chases the tiger. The cat is green. The cat likes the dog. The cat likes the tiger. The cat needs the dog. The dog chases the tiger. The dog is big. The dog is green. The dog likes the tiger. The dog needs the cat. The dog needs the tiger. The tiger chases the cat. The tiger is nice. The tiger likes the dog. The tiger needs the dog. If something is rough then it needs the dog. If something chases the tiger and it is green then the tiger chases the cat. All green things are big. If the tiger needs the dog and the tiger chases the dog then the dog needs the tiger. If something is green and big then it chases the tiger. If something needs the dog and it likes the cat then the cat is big.
The tiger is not big.
@0: The cat chases the dog.[(triple1)] The cat chases the tiger.[(triple2 OR ((triple3 ((triple3) -> rule3)) -> rule5))] The cat is green.[(triple3)] The cat likes the dog.[(triple4)] The cat likes the tiger.[(triple5)] The cat needs the dog.[(triple6)] The dog chases the tiger.[(triple7 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9) -> rule3)) -> rule5))] The dog is big.[(triple8 OR ((triple9) -> rule3))] The dog is green.[(triple9)] The dog likes the tiger.[(triple10)] The dog needs the cat.[(triple11)] The dog needs the tiger.[(triple12)] The tiger chases the cat.[(triple13 OR ((triple2 triple3) -> rule2) OR ((triple7 triple9) -> rule2) OR ((((triple9 triple8) -> rule5) triple9) -> rule2) OR ((((triple3 ((triple3) -> rule3)) -> rule5) triple3) -> rule2) OR ((((triple9 ((triple9) -> rule3)) -> rule5) triple9) -> rule2))] The tiger is nice.[(triple14)] The tiger likes the dog.[(triple15)] The tiger needs the dog.[(triple16)] @1: The cat is big.[(((triple3) -> rule3))]