The cat eats the dog. The cat eats the tiger. The cat likes the tiger. The cat sees the tiger. The dog is not blue. The dog is red. The dog is young. The dog likes the cat. The dog does not like the tiger. The dog sees the tiger. The tiger does not eat the dog. The tiger is blue. The tiger is green. The tiger is young. The tiger likes the cat. The tiger likes the dog. If someone is blue then they see the cat. If someone likes the dog and they do not see the tiger then they see the cat. If someone likes the cat then they are red. If someone sees the tiger and they like the dog then the tiger sees the cat. If someone eats the dog then the dog is red. If someone sees the tiger and the tiger is red then they are young.
The tiger is young.
@0: The cat eats the dog.[(triple1)] The cat eats the tiger.[(triple2)] The cat likes the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The dog does not like the tiger.[(triple9)] The dog is not blue.[(triple5)] The dog is red.[(triple6 OR ((triple1) -> rule5) OR ((triple8) -> rule3))] The dog is young.[(triple7 OR ((triple10 ((triple15) -> rule3)) -> rule6))] The dog likes the cat.[(triple8)] The dog sees the tiger.[(triple10)] The tiger does not eat the dog.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger is young.[(triple14)] The tiger likes the cat.[(triple15)] The tiger likes the dog.[(triple16)] @1: The tiger is red.[(((triple15) -> rule3))] The tiger sees the cat.[(((triple12) -> rule1))] @2: The cat is young.[(((triple4 ((triple15) -> rule3)) -> rule6))]