The bear eats the dog. The bear eats the mouse. The bear likes the mouse. The bear needs the mouse. The cat is red. The cat needs the bear. The dog eats the mouse. The dog likes the bear. The dog needs the mouse. The mouse likes the cat. If something needs the dog then the dog is young. If something is young and it eats the mouse then it is red. If something needs the cat and it eats the cat then the cat eats the bear. If the mouse eats the cat then the cat eats the bear. If something eats the mouse then the mouse is young. If something likes the dog then the dog eats the bear. If something likes the bear then the bear needs the dog. If the cat needs the bear then the bear is red.
The dog needs the cat.
@0: The bear eats the dog.[(triple1)] The bear eats the mouse.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the mouse.[(triple4)] The cat is red.[(triple5)] The cat needs the bear.[(triple6)] The dog eats the mouse.[(triple7)] The dog likes the bear.[(triple8)] The dog needs the mouse.[(triple9)] The mouse likes the cat.[(triple10)] @1: The bear is red.[(((triple6) -> rule8))] The bear needs the dog.[(((triple8) -> rule7))] The mouse is young.[(((triple2) -> rule5) OR ((triple7) -> rule5))] @2: The dog is young.[(((((triple8) -> rule7)) -> rule1))] @3: The dog is red.[(((((((triple8) -> rule7)) -> rule1) triple7) -> rule2))]