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