The dog eats the mouse. The dog is blue. The dog likes the mouse. The dog needs the tiger. The mouse eats the rabbit. The mouse eats the tiger. The mouse is not green. The mouse needs the dog. The mouse needs the tiger. The rabbit likes the mouse. The tiger eats the mouse. The tiger is blue. The tiger is nice. The tiger is not rough. The tiger likes the rabbit. The tiger needs the mouse. If someone eats the mouse then the mouse likes the rabbit. If someone likes the dog then the dog is rough. If someone likes the mouse then they are big. If someone is nice then they like the dog. If someone is rough then they like the rabbit. If the dog is not rough and the dog does not eat the tiger then the dog is not big.
The rabbit likes the mouse.
@0: The dog eats the mouse.[(triple1)] The dog is blue.[(triple2)] The dog likes the mouse.[(triple3)] The dog needs the tiger.[(triple4)] The mouse eats the rabbit.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is not green.[(triple7)] The mouse needs the dog.[(triple8)] The mouse needs the tiger.[(triple9)] The rabbit likes the mouse.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger is blue.[(triple12)] The tiger is nice.[(triple13)] The tiger is not rough.[(triple14)] The tiger likes the rabbit.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The dog is big.[(((triple3) -> rule3))] The mouse likes the rabbit.[(((triple1) -> rule1) OR ((triple11) -> rule1))] The rabbit is big.[(((triple10) -> rule3))] The tiger likes the dog.[(((triple13) -> rule4))] @2: The dog is rough.[(((((triple13) -> rule4)) -> rule2))] @3: The dog likes the rabbit.[(((((((triple13) -> rule4)) -> rule2)) -> rule5))]