The cat is green. The cat is red. The cat is round. The cat needs the rabbit. The dog chases the cat. The dog chases the tiger. The dog is blue. The dog is red. The dog is round. The dog needs the tiger. The rabbit chases the cat. The rabbit chases the tiger. The tiger eats the dog. The tiger eats the rabbit. The tiger is big. The tiger is red. If something needs the rabbit then it is round. If something needs the cat then it is big. If something is green then it chases the dog. If something is red and it needs the rabbit then it needs the dog. If something chases the dog and the dog is round then it chases the rabbit. If something needs the tiger and the tiger is red then it needs the cat. If something eats the tiger then the tiger eats the cat. If something eats the tiger then the tiger needs the dog.
The tiger does not eat the rabbit.
@0: The cat is green.[(triple1)] The cat is red.[(triple2)] The cat is round.[(triple3 OR ((triple4) -> rule1))] The cat needs the rabbit.[(triple4)] The dog chases the cat.[(triple5)] The dog chases the tiger.[(triple6)] The dog is blue.[(triple7)] The dog is red.[(triple8)] The dog is round.[(triple9)] The dog needs the tiger.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit chases the tiger.[(triple12)] The tiger eats the dog.[(triple13)] The tiger eats the rabbit.[(triple14)] The tiger is big.[(triple15)] The tiger is red.[(triple16)] @1: The cat chases the dog.[(((triple1) -> rule3))] The cat needs the dog.[(((triple2 triple4) -> rule4))] The dog needs the cat.[(((triple10 triple16) -> rule6))] @2: The cat chases the rabbit.[(((((triple1) -> rule3) triple9) -> rule5))] The dog is big.[(((((triple10 triple16) -> rule6)) -> rule2))]